Log in

Normal view MARC view ISBD view

Formal models and techniques for analyzing security protocols

By: Cortier, Veronique.

Contributor(s): Kremer, Steve.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: Cryptology and information security series.Publisher: Amsterdam: IOS Press, 2011Description: vii, 303 p.; ill.: 25 cm.ISBN: 9781607507130 .Subject(s): Computer networks -- Security measures | Computer security | Computers -- Access control | Electronic information resources -- Access controlDDC classification: 005.82

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

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		005.82 COR (Browse shelf)	Available		026475

Browsing DAIICT Shelves Close shelf browser

Previous			No cover image available					Next
Previous	005.82 CIM Visual cryptography and secret image sharing	005.82 COO Cryptographics : exploiting graphics cards for security	005.82 COR Quantum cryptography using coherent states : randomized encryption and key generation	005.82 COR Formal models and techniques for analyzing security protocols	005.82 CUR Brute force : cracking the data encryption standard	005.82 CVE Digital audio watermarking techniques and technologies : applications and benchmarks	005.82 DAS Public-key cryptography : theory and practice	Next

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha