Formal Correctness of Security Protocols
Bella Giampaolo
Formal Correctness of Security Protocols - Heidelberg Springer 2007
005.8 / BEL-F
005.8 / BEL-F
Formal Correctness of Security Protocols - Heidelberg Springer 2007
005.8 / BEL-F
005.8 / BEL-F