Login / Signup
Guest editor's introduction: Special issue on Modelling and Verification of Cryptographic Protocols.
Roberto M. Amadio
Published in:
J. Log. Algebraic Methods Program. (2005)
Keyphrases
</>
special issue
cryptographic protocols
ai edam
international journal
ecml pkdd
standard model
security protocols
authentication protocol
applied intelligence
virtual machine
special section
formal verification
data mining
information systems
model checking
encryption decryption