Ditemukan 1 dokumen yang sesuai dengan query
Cremers, Cas, author
The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a number of well-defined security properties, which capture the notions of correct protocols, and secrecy of data....
Berlin: Springer-Verlag, 2012
e20407791
eBooks Universitas Indonesia Library
