English Συνέδριο
| Συγγραφείς: | Gritzalis S., Nikitakos N., Georgiadis P. |
|---|---|
| Τίτλος: | Formal Methods for the Analysis and Design of Cryptographic Protocols: A state-of-the-art review |
| Συνέδριο: | CMS |
| Editors: | S. K. Katsikas |
| Ed: | Ναι |
| Eds: | Όχι |
| Σελίδες: | 119-132 |
| Να εμφανιστεί: | Όχι |
| Μήνας: | Σεπτέμβριος |
| Έτος: | 1997 |
| Τόπος: | Athens, Greece |
| Εκδότης: | Chapman & Hall |
| Δεσμός: | http://www.google.gr/books?hl=en&lr=&id=UaX31ovFoHcC&oi=fnd&pg=PA119&dq=Gritzalis+Formal+Methods+for+the+Analysis+and+Design+of+Cryptographic+Protocol |
| Όνομα αρχείου: | |
| Περίληψη: |