Sign in

A compiler for analyzing cryptographic protocols using noninterference.

Antonio DuranteRiccardo FocardiRoberto Gorrieri
Published in: ACM Trans. Softw. Eng. Methodol. (2000)
Keyphrases
  • cryptographic protocols
  • standard model
  • programming language
  • security protocols
  • security policies
  • authentication protocol
  • database systems
  • software systems
  • encryption decryption