Formal Correctness of Security Protocols
Formal Correctness of Security Protocols
Giampaolo Bella
Details
OL Work ID
OL20693189W
Subjects
Computer networks, security measures
Find this book
Open Library