Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
×
Log in to your account
Login:
Password:
Forgot your password?
Home
›
Details for: Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations
Normal view
MARC view
ISBD view
Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations
By:
Datta, Anupam
.
Material type:
Book
Publisher:
U.S.A.:
ProQuest,
2005
Description:
xiv, 155 p.; ill.: 21 cm
.
ISBN:
.
Subject(s):
Asynchronous communication
|
Computer networks -- Security measures
|
Synchronous communication
|
Theoretic foundations
DDC classification:
005.8
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.8 DAT (
Browse shelf
)
Available
017825
Browsing DAIICT Shelves
Close shelf browser
Previous
No cover image available
Next
005.8 DAS
Foundations of security : what every programmer needs to know
005.8 DAS
Foundations of security : what every programmer needs to know
005.8 DAS
Big breaches : cybersecurity lessons for everyone
005.8 DAT
Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations
005.8 DAV
IPSec: securing VPNs
005.8 DAV
Implementing SSL/TLS using cryptography and PKI
005.8 DEB
Embedded Java security : security for mobile devices
There are no comments for this item.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARC (non-Unicode/MARC-8)
MARCXML
RIS
MARC (Unicode/UTF-8)
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
×
Exporting to Dublin Core...
Simple DC-RDF
OAI-DC
SRW-DC
Powered by
Koha
There are no comments for this item.