01858nlm0 22004811i 450 9900092615004033219783642034596000926150FED01000926150(Aleph)000926150FED0100092615020100926d2009----km-y0itay50------baengDEdrnn-008mamaaFoundations and Applications of Security AnalysisRisorsa elettronicaJoint 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 Papersedited by Pierpaolo Degano, Luca ViganòBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435511Documento elettronicoTestoFormato html, pdfDegano,PierpaoloViganò,LucaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-03459-6EB990009261500403321Algorithm Analysis and Problem ComplexityCoding and Information TheoryCoding theoryComputer Communication NetworksComputer Communication NetworksComputer network architecturesComputer scienceComputer ScienceComputer softwareComputer Systems Organization and Communication NetworksData EncryptionData encryption (Computer science)Data structures (Computer science)Data Structures, Cryptology and Information TheoryFoundations and Applications of Security Analysis774231UNINA