Formal correctness of security protocols

Saved in:
Bibliographic Details
Main Author: Bella, Giampaolo
Format: Unknown
Published: New York Springer 2007
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-368209
020 # # |a 9783540681342 
020 # # |a 3540681345 
040 # # |a OHX  |d ITMB 
090 0 0 |a TK5105.59  |b .B45 2007 
100 1 # |a Bella, Giampaolo 
245 1 0 |a Formal correctness of security protocols  |c Giampaolo Bella 
260 # # |a New York  |b Springer  |c 2007 
300 # # |a xviii, 274 p.  |b ill.  |c 24 cm 
504 # # |a Includes bibliographical references and index 
650 # 0 |a Computer networks  |x Security measures 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=368209 
964 # # |c BOK  |d 01 
998 # # |a 00260##a003.5.1||00260##b003.5.1||00260##c003.5.1||00300##a003.5.1||00300##b003.5.1||00300##c003.5.1||