"Algorithm Analysis and Problem Complexity." . . "Algorithm Analysis and Problem Complexity" . "Rechnernetz API Computersicherheit Datensicherung Kongress York <2009>" . . "Sicherheitsprotokoll Kongress York <2009>" . . "Rechnernetz." . . "Systèmes informatiques Mesures de sûreté Congrès." . . "ARSPA-WITS (2009.03.28-29 York)" . . . "Systèmes informatiques Sécurité Mesures Congrès." . . "Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security <2009, York>" . . "Sicherheitsprotokoll." . . "Datensicherung." . . "Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009.03.28-29 York)" . . . "Workshop on Issues in the Theory of Security (2009 : York, Royaume-Uni)" . . . "Data encryption (Computer science)" . . "York <2009>" . . "Schlüsselverwaltung Kongress York <2009>" . . "Computing Methodologies Congresses." . . "Kryptoanalyse Kongress York <2009>" . . "Coding and Information Theory." . . "Coding and Information Theory" . "Méthodes formelles (Informatique) Congrès." . . "Méthodes formelles (informatique) Congrès." . "Computer Communication Networks." . . "Computer Communication Networks" . "Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security." . . . "API." . . "Schlüsselverwaltung." . . "Computer Science." . . "Computer science." . "Cryptographie Congrès." . . "Kryptoanalyse." . . "Data structures (Computer science)" . . "Cryptography Congresses." . . "Computer security Congresses." . . "Computer Security Congresses." . "Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York, Angleterre)" . . . "Data Structures, Cryptology and Information Theory." . . "Data Structures, Cryptology and Information Theory" . "Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (York, England) (2009)." . . . "Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS (28-03-2009 - 29-03-2009 : York, UK)" . . . "Computersicherheit Kongress York <2009>" . . "Formal methods (Computer science)" . . "Computer security." . . "Coding theory." . . "Data Encryption." . . "Data Encryption" . "Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009.03.28-29 York)" . . . "Computer software." . . "Computer network architectures." . . "Informatique." . . "Formal methods (Computer science) Congresses." . . "Computer Systems Organization and Communication Networks." . . "Computer Systems Organization and Communication Networks" . . . . . . . "York (2009)"@en . "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"@en . "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" . . . . . . . . "Foundations and applications of security analysis" . . . . "Foundations and applications of security analysis : revised selected papers" . "ARSPA-WITS 2009" . . . . . . . "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" . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . . . "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"@en . . . . . . "Electronic books"@en . "Electronic books" . . . . . . . . "This book constitutes the thoroughly refereed post-conferenceproceedings 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. The12 revised full papers presented together with 2 invited talkswerecarefully reviewed and selected from27 submissions. The papers featuretopics including formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, the modeling of information flow and its application to confidentiality policies, system composition and covert channel analysis."@en . . . . . . . . . . . . . . . . . . . . . . "Kongress" . "Kongress"@en . . . . . . . . . . "Conference proceedings"@en . . . . . . "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"@en . "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 revised selected papers" . . . . . . . "Joint Workshop on Automated Reasoning for Security Protocol Analysis (2009 : York, Angleterre)" . . . "Computersicherheit." . . . . "Cryptography." . .