Ditemukan 1 dokumen yang sesuai dengan query
Cremers, Cas
"
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. The methodology can be used to prove that protocols satisfy these properties. Based on the model they have developed a tool set called Scyther that ...
"
Berlin: Springer-Verlag, 2012
e20407791
eBooks Universitas Indonesia Library
