Normal view MARC view ISBD view

Formal Correctness of Security Protocols

By:

Material type: Text

TextPublication details: Heidelberg Springer 2007DDC classification:

LOC classification:

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	Collection	Call number	Status	Barcode
Book	Air University Central Library Islamabad Computer Science	Computer Science	005.8 BEL-F (Browse shelf(Opens below))	Available	P5355

Previous	No cover image available			No cover image available				Next
Previous	005.7585 BAY_O Oracle-7 : the Complete Reference	005.8 ALP Network security :	005.8 AND-T The Basics of Information Security : Understanding the Fundamentals of InfoSec in theory and practice	005.8 BEL-F Formal Correctness of Security Protocols	005.8 BLO Physical-layer security	005.8 FOR Sockets, shellcode, porting & coding reverse engineering exploits and tool coding for security professionals /	005.8 GUP-H Hands-on Cybersecurity with Blockchain: Implement DDoS protection, PKI-based identity, 2FA, and DNS security using blockchain	Next

There are no comments on this title.

to post a comment.

Welcome to Air University Central Library and Fazaia Medical College Library. (Sign in with Your email. Your user name is the same as your student ID number or Employee ID number for password, please contact Circulation Staff)