Catalog

Record Details

Catalog Search


Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers Cover Image E-book E-book

Foundations and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò.

Degano, Pierpaolo. (editor.). Viganò, Luca. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02146nam a22005055i 4500
00138555
003CONS
00520131220071906.0
007cr nn 008mamaa
008100301s2009 gw | s |||| 0|eng d
020 . ‡a9783642034596 ‡9978-3-642-03459-6
0247 . ‡a10.1007/978-3-642-03459-6 ‡2doi
035 . ‡a(DE-He213)978-3-642-03459-6
050 4. ‡aQA76.9.A25
072 7. ‡aURY ‡2bicssc
072 7. ‡aCOM053000 ‡2bisacsh
1001 . ‡aDegano, Pierpaolo. ‡eeditor.
24510. ‡aFoundations and Applications of Security Analysis ‡h[electronic resource] : ‡bJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / ‡cedited by Pierpaolo Degano, Luca Viganò.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2009.
300 . ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5511
650 0. ‡aComputer science.
650 0. ‡aComputer network architectures.
650 0. ‡aComputer Communication Networks.
650 0. ‡aData structures (Computer science).
650 0. ‡aData encryption (Computer science).
650 0. ‡aCoding theory.
650 0. ‡aComputer software.
65014. ‡aComputer Science.
65024. ‡aData Encryption.
65024. ‡aData Structures, Cryptology and Information Theory.
65024. ‡aCoding and Information Theory.
65024. ‡aComputer Communication Networks.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aComputer Systems Organization and Communication Networks.
7001 . ‡aViganò, Luca. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642034589
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5511
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-03459-6 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a38555 ‡b ‡c38555 ‡tbiblio ‡sSystem Local

Additional Resources