Cover Image

Operational semantics and verification of security protocols

Main Author: Cremers, Cas, author
Format: Book Bachelors
Terbitan: Springer-Verlag , 2012
Subjects:
Computer security
Computer networks > Security measures
Semantic computing
Online Access: http://lib.ui.ac.id/file?file=digital/2015-8/20407791-Operational Semantics and Verification of Security Protocols.pdf

Lihat Juga