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 /

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 /

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS 2009. The 12 revised full papers pre...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Degano, Pierpaolo (Επιμελητής έκδοσης), Viganò, Luca (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Σειρά:	Lecture Notes in Computer Science, 5511
Θέματα:	Computer science. Computer organization. Computer communication systems. Data structures (Computer science). Data encryption (Computer science). Coding theory. Algorithms. Computer Science. Data Encryption. Data Structures, Cryptology and Information Theory. Coding and Information Theory. Computer Communication Networks. Algorithm Analysis and Problem Complexity. Computer Systems Organization and Communication Networks.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

CryptoGraphics Exploiting Graphics Cards for Security /
ανά: Cook, Debra L., κ.ά.
Έκδοση: (2006)

Guide to Wireless Network Security
ανά: Vacca, John R.
Έκδοση: (2006)

Security for Wireless Sensor Networks
ανά: Liu, Donggang, κ.ά.
Έκδοση: (2007)

Security in Emerging Wireless Communication and Networking Systems First International ICST Workshop, SEWCN 2009, Athens, Greece, September 14, 2009, Revised Selected Papers /
Έκδοση: (2010)

Smart Cards, Tokens, Security and Applications
ανά: Mayes, Keith E., κ.ά.
Έκδοση: (2008)

Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks
Έκδοση: (2007)

Malware Detection
Έκδοση: (2007)

Security Technology International Conference, SecTech 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
Έκδοση: (2009)

A Classical Introduction to Cryptography Applications for Communications Security /
ανά: Vaudenay, Serge
Έκδοση: (2006)

Information Security and Assurance International Conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011. Proceedings /
Έκδοση: (2011)

Digital Signatures
ανά: Katz, Jonathan
Έκδοση: (2010)

Hop Integrity in the Internet
ανά: Huang, Chin-Tser, κ.ά.
Έκδοση: (2006)

Synchronizing Internet Protocol Security (SIPSec)
ανά: Shoniregun, Charles A.
Έκδοση: (2007)

Information and Communications Security 12th International Conference, ICICS 2010, Barcelona, Spain, December 15-17, 2010. Proceedings /
Έκδοση: (2010)

Information and Communications Security 13th International Conference, ICICS 2011, Beijing, China, November 23-26, 2011. Proceedings /
Έκδοση: (2011)

Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings /
Έκδοση: (2012)

Security for Telecommunications Networks
ανά: Traynor, Patrick, κ.ά.
Έκδοση: (2008)

Network Security Policies and Procedures
ανά: Frye, Douglas W.
Έκδοση: (2007)

Secure Multi-Party Non-Repudiation Protocols and Applications
ανά: Onieva, José A., κ.ά.
Έκδοση: (2009)

Secure Group Communications over Data Networks
ανά: Zou, Xukai, κ.ά.
Έκδοση: (2005)

Security for Wireless Sensor Networks
ανά: Liu, Donggang
Έκδοση: (2007)

Guide to Wireless Network Security
ανά: Vacca, John R.
Έκδοση: (2006)

Practical Internet Security
ανά: Vacca, John R.
Έκδοση: (2007)

Secure Key Establishment
ανά: Choo, Kim-Kwang Raymond
Έκδοση: (2009)

Insider Threats in Cyber Security
Έκδοση: (2010)

CryptoGraphics Exploiting Graphics Cards for Security
ανά: Cook, Debra L.
Έκδοση: (2006)

Advances in Information Security and Assurance Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings /
Έκδοση: (2009)

Advances in Information Security and Its Application Third International Conference, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings /
Έκδοση: (2009)

Global Initiatives to Secure Cyberspace An Emerging Landscape /
Έκδοση: (2009)

Insider Attack and Cyber Security Beyond the Hacker /
Έκδοση: (2008)

Botnet Detection Countering the Largest Security Threat /
Έκδοση: (2008)

Personal Satellite Services International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009, Revised Selected Papers /
Έκδοση: (2009)

Foundations of Computer Security
ανά: Salomon, David
Έκδοση: (2006)

Applied Cryptography and Network Security 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings /
Έκδοση: (2009)

Network-Aware Security for Group Communications
ανά: Sun, Yan, κ.ά.
Έκδοση: (2008)

Information and Communications Security 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings /
Έκδοση: (2009)

Certification and Security in Inter-Organizational E-Service
Έκδοση: (2005)

Security in Emerging Wireless Communication and Networking Systems First International ICST Workshop, SEWCN 2009, Athens, Greece, September 14, 2009, Revised Selected Papers
ανά: Gu, Qijun
Έκδοση: (2010)

Network Security
Έκδοση: (2010)

Vulnerability Analysis and Defense for the Internet
Έκδοση: (2008)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών