Formal Aspects of Security
| ISBN: | 9783540206934 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 246 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Abdallah, Ali E. Ryan, Peter Schneider, Steve |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 03.12.2003 |
| Untertitel: | First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers |
| Schlagworte: | cryptographic protocols cryptography cryptology formal specification formal verification intrusion detection modeling protocol analysis protocol verification safety critical systems |