Separating the Specification and Implementation Phases in Cryptology.

Marie-Jeanne Toussaint

Published in: ESORICS (1992)

Keyphrases

efficient implementation
specification language
implementation details
data sets
real world
machine learning
artificial intelligence
computer vision
image processing
high level
implementation issues