Catalog

Record Details

Catalog Search


Formal Correctness of Security Protocols With 62 Figures and 4 Tables Cover Image E-book E-book

Formal Correctness of Security Protocols [electronic resource] : With 62 Figures and 4 Tables / by Giampaolo Bella.

Bella, Giampaolo. (author.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01866nam a22004695i 4500
00116671
003CONS
00520131217173557.0
007cr nn 008mamaa
008100301s2007 gw | s |||| 0|eng d
020 . ‡a9783540681366 ‡9978-3-540-68136-6
0247 . ‡a10.1007/978-3-540-68136-6 ‡2doi
035 . ‡a(DE-He213)978-3-540-68136-6
050 4. ‡aQA8.9-QA10.3
072 7. ‡aUYA ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
072 7. ‡aCOM051010 ‡2bisacsh
1001 . ‡aBella, Giampaolo. ‡eauthor.
24510. ‡aFormal Correctness of Security Protocols ‡h[electronic resource] : ‡bWith 62 Figures and 4 Tables / ‡cby Giampaolo Bella.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2007.
300 . ‡aXIX, 274 p. 62 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aInformation Security and Cryptography, Texts and Monographs, ‡x1619-7100
650 0. ‡aComputer science.
650 0. ‡aData protection.
650 0. ‡aData structures (Computer science).
650 0. ‡aArtificial intelligence.
650 0. ‡aTelecommunication.
65014. ‡aComputer Science.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aData Structures, Cryptology and Information Theory.
65024. ‡aSystems and Data Security.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aCommunications Engineering, Networks.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540681342
830 0. ‡aInformation Security and Cryptography, Texts and Monographs, ‡x1619-7100
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-540-68136-6 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a16671 ‡b ‡c16671 ‡tbiblio ‡sSystem Local

Additional Resources