(mathematics) Describing a specific type of code that cannot be exploited by a user claiming to have been framed by others.