Formal Correctness of Security Protocols
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Berlin :
Springer Verlag,
2007
|
| Predmet: | |
| Tagy: |
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky: Formal Correctness of Security Protocols
- Security protocols. 8th international workshop : Proceedings. Cambridge, UK. 3.- 5. Apr. 2000 /
- Security protocols. 9th international workshop : Proceedings. Cambridge, UK. 25.- 27. Apr. 2001 /
- Security protocols. 7th international workshop : Proceedings. Cambridge, UK. 19.- 21. Apr. 1999 /
- Security protocols. 6th international workshop : Proceedings. Cambridge, UK. 15.- 17. Apr. 1998
- Security protocols. 10th international workshop : Proceedings. Cambridge, UK. 17.- 19. Apr. 2001 /
- Security protocols. 13th international workshop : Cambridge, UK. 20.- 22 Apr. 2005, Revised Selected Papers /