Formal correctness of security protocols
Saved in:
Main Author: | |
---|---|
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|| |