|  |
| |
| Artikel-Nr.:
5667A-9783540428961 Herst.-Nr.:
9783540428961 EAN/GTIN:
9783540428961 |
| |
|
| | |
| Mathematical Models of Computer Security.- The Logic of Authentication Protocols.- Access Control: Policies, Models, and Mechanisms.- Security Goals: Packet Trajectories and Strand Spaces.- Notes on Nominal Calculi for Security and Mobility.- Classification of Security Properties. Weitere Informationen: | | Author: | Riccardo Focardi; Roberto Gorrieri | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Netzwerkbücher, Netzwerkbücher - englischsprachig, datenbanken (fachbücher), Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Internet / Politik, Gesellschaft, Internet / Protokolle, Sicherheit, Technik, Access Control, Authentication, Cryptographic Protocols, Data Security, Formal Methods, Identification |
| | |
| |