Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

By:

Material type:

Computer filePublication details: Now Foundations and Trends; 2017-12-15ISBN:

Subject(s):

Online resources:

Item type: E-Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
E-Books	Central Library, NIT Jalandhar Online	Central Library, NIT Jalandhar			Not for loan