Abstractions for security protocol verification
Autor: | Cas Cremers, Christoph Sprenger, Binh Thanh Nguyen |
---|---|
Rok vydání: | 2018 |
Předmět: |
Computer Networks and Communications
business.industry Computer science 0102 computer and information sciences 02 engineering and technology Cryptographic protocol 01 natural sciences 010201 computation theory & mathematics Hardware and Architecture 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Safety Risk Reliability and Quality Software engineering business Software |
Zdroj: | Journal of Computer Security. 26:459-508 |
ISSN: | 1875-8924 0926-227X |
Databáze: | OpenAIRE |
Externí odkaz: | |
Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |