Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation.

Joana Martinho António Ravara

Published in: J. Autom. Reason. (2011)

Keyphrases

smart card
high level
low level
building blocks
fractal image compression
hash functions
data sets
encryption scheme
encoding scheme
random number generator
encryption key
relational databases
multiresolution
image compression
object model
key management