Image from Amazon.com
Formal correctness of security protocols / Giampaolo Bella
Series: Information security and cryptographyPublication details: New York : Springer, 2007Description: xviii, 274 p. : ill. ; 24 cmISBN:- 3540681345
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | QA76.9.A25B45 (Browse shelf(Opens below)) | 1 | Available | 00001492310 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.9.A25B33 The computer privacy handbook | QA76.9.A25B334 Building an effective information security policy architecture / | QA76.9.A25B375 Protecting your PC / | QA76.9.A25B45 Formal correctness of security protocols / | QA76.9.A25B459 How to secure and audit Oracle 10g and 11g / | QA76.9.A25B46 Implementing database security and auditing : a guide for DBAs , information security administrators and auditors / | QA76.9.A25B576 pasca Computer security : art and science / |
Bibliography : p. [265]-274
There are no comments on this title.
Log in to your account to post a comment.