Catalog

Record Details

Catalog Search


Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers Cover Image E-book E-book

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.

Armando, Alessandro. (editor.). Lowe, Gavin. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Additional Content
► Shelf Browser
▼ MARC Record
LDR 01978nam a22004815i 4500
00140038
003CONS
00520130725202234.0
007cr nn 008mamaa
008101005s2011 gw | s |||| 0|eng d
020 . ‡a9783642160745 ‡9978-3-642-16074-5
0247 . ‡a10.1007/978-3-642-16074-5 ‡2doi
035 . ‡a(DE-He213)978-3-642-16074-5
050 4. ‡aQA76.9.A25
072 7. ‡aURY ‡2bicssc
072 7. ‡aCOM053000 ‡2bisacsh
1001 . ‡aArmando, Alessandro. ‡eeditor.
24510. ‡aAutomated Reasoning for Security Protocol Analysis and Issues in the Theory of Security ‡h[electronic resource] : ‡bJoint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / ‡cedited by Alessandro Armando, Gavin Lowe.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2011.
300 . ‡aIX, 185p. 39 illus. ‡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 ; ‡v6186
650 0. ‡aComputer science.
650 0. ‡aComputer Communication Networks.
650 0. ‡aSoftware engineering.
650 0. ‡aData encryption (Computer science).
650 0. ‡aComputer software.
65014. ‡aComputer Science.
65024. ‡aData Encryption.
65024. ‡aComputer Communication Networks.
65024. ‡aComputers and Society.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aSoftware Engineering.
65024. ‡aProgramming Languages, Compilers, Interpreters.
7001 . ‡aLowe, Gavin. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642160738
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6186
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-16074-5 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a40038 ‡b ‡c40038 ‡tbiblio ‡sSystem Local

Additional Resources