Algebraic Properties in Alice and Bob Notation.

Sebastian Mödersheim

Published in: ARES (2009)

Keyphrases

algebraic properties
ciphertext
fuzzy rough sets
security properties
standard model
vector space
rough sets
information systems
private information
security protocols