"Systems and Data Security." . . "Interaktives Beweissystem." . . "Cryptographie (Informatique)" . . "Data encryption (Computer science)" . . "Kryptosystem Kongress Kanton <Stadt, 2009>" . . "logica." . . "Data protection Congresses." . . "informatietheorie." . . "ProvSec (Conference) (6th : 2012 : Chengdu, China)" . . . "ProvSec 2008 :" . . "International Conference on Provable Security, ProvSec (3 : 11-11-2009 - 13-11-2009 : Guangzhou, China)" . . . "Computer Communication Networks." . . "International conference on provable security (5 ; 2011 ; Xi'an, Chine)." . . . "DES (data encryption standard)" . . "Cryptographie." . . "Elektronische Unterschrift Kongress Kanton <Stadt, 2009>" . . "Cryptographie Congrès." . . "Computer systems Access control." . . "coderen." . . "Cryptographie Actes de congrès." . . "ProvSec 2007 (2007 : Wollongong, N.S.W.)" . . . "Sécurité informatique." . . "Coding and Information Theory." . . "ProvSec (4 2010.10.13-15 Malacca)" . . . "SpringerLink (Service en ligne)" . . "International Conference on Provable Security (4 2010.10.13-15 Malacca)" . . . "Beweisbarkeit." . . "Informatique." . . "Elektronische Unterschrift." . . "International Conference on Provable Security (3rd ; 2009)." . . . "computerbeveiliging." . . "ProvSec 2007 :" . . "Computerarchitectuur. Operating systems." . . "Kryptoanalyse Computersicherheit Datensicherung Beweisbarkeit Kongress Schanghai <2008>" . . . . . . . . . "Provable Security 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings" . . . . "Provable Security : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010 : proceedings"@en . "Provable Security : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings" . "Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings" . . . . . "This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers and two invited talks presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on encryption, digital signature, cryptographic protocols and reduction and privacy."@en . . . . . . . . . . . . "Provable security : Third International Conference, ProvSec 2009, Guangzhou, China, November 11 - 13, 2009; proceedings" . . . . . . . . . "Provable security : third international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings"@en . . . . . . "Provable Security : Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings" . . . . . . . . . . . . . . "Schanghai (2008)"@en . . . . . . . "Provable security : third international conference ; proceedings" . . . . . . . . . "Provable security : first international conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 ; proceedings"@en . "Provable security : First International Conference, ProvSec 2007, Wollongong, Australia, November 1 - 2, 2007; proceedings" . . "ProvSec 2010"@en . "ProvSec 2010" . "Provable security second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings" . "Provable security second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings"@en . . . . . . . . . . . . "Wollongong (2007)"@en . . . "Provable security : first international conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 : proceedings"@en . "Provable security : 5th International Conference, PROVSEC 2011, Xi'an, China, October 16-18, 2011: proceedings" . . . "Provable security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings" . . . . . . "Provable security third international conference ; proceedings" . . . . . . "Provable Security : 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings" . . . . . . . . . . . "Ressources Internet" . "Kongress <2009>" . . . "Provable security : second international conference, ProvSec 2008, Shanghai, China, October 30-November 1, 2008 ; proceedings" . . . . . . . . . . . . . "Provable security"@en . . "Provable security" . . . . . . . . . "ProvSec 2011" . "ProvSec 2011"@en . . . . . . . . . . . . . . . . "Electronic books"@en . . "Electronic books" . . . . . . . . . . . . . . . . "Provable security : second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings" . "Provable security : second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings"@en . . "ProvSec 2007"@en . "ProvSec 2007" . . . . . . . . . "This book constitutes the refereed proceedings of the 5th Provable Security Conference held in in Xi'an, China, in October 2011. The 22 full papers presented together with 4 short papers and 2 invited talks were carefully reviewed and selected from 75 submissions. The papers are divided in topical sections on cryptographic primitives; encryption; cryptographic protocols; security models and framework; and key agreement."@en . "Provable Security First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings"@en . "Provable Security First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings" . . . . "Provable security : 6th international conference, ProvSec 2012, Chengdu, China, September 26-28, 2012 : proceedings"@en . . . . . . . . . "Provable security first international conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 : proceedings"@en . . "Provable security first international conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 : proceedings" . . "Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings" . "Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings"@en . . . . . . . . . . . . . "Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings" . . . "This book constitutes the refereed proceedings of the Second International Conference on Provable Security, ProvSec 2008, held in Shanghai, China, October 30 - November 1, 2008. The 25 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, and Applications."@en . "ProvSec 2012"@en . "ProvSec 2012" . . . . . . . . . . "This book constitutes the refereed proceedings of the First International Conference on Provable Security, ProvSec 2007, held in Wollongong, Australia, October 31 - November 2, 2007. The 10 revised full papers presented together with 7 short papers were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on Authentication, Asymmetric Encryption, Signature, Protocol and Proving Technique, Authentication and Symmetric Encryption, Signature and Asymmetric Encryption."@en . . . . . . . . . . . . "ProvSec 2008" . . "Provable security 6th international conference, ProvSec 2012, Chengdu, China, September 26-28, 2012 : proceedings" . . . . . . . . . . . . . . "Conference proceedings"@en . "Conference proceedings" . . . . . . . . "Provable Security 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings" . . "Kanton (Stadt, 2009)"@en . . . . . . . "Provable security 5th international conference, ProvSec 2011, Xi'an, China, October 16-18, 2011 : proceedings"@en . "Provable security 5th international conference, ProvSec 2011, Xi'an, China, October 16-18, 2011 : proceedings" . . . "Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings" . "Provable security : 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010 ; proceedings" . "Online-Publikation" . "Provable security third international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings" . "Provable security third international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings"@en . "This book constitutes the refereed proceedings of the 6th International Conference on Provable Security, ProvSec 2012, held in Chengdu, China, in September 2012. The 16 full papers and 4 short papers presented were carefully reviewed and selected from 66 submissions. The papers are grouped in topical sections on signature schemes, foundations, leakage resilence and key escrow, encryption schemes, and information theoretical security." . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . . . . . . . . . . . . "Provable security 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010 : proceedings"@en . . "Provable security 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010 : proceedings" . . . . . . . . . "Kongress" . "Kongress"@en . . . "Provable security : 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010 : proceedings"@en . . . "Provable security First international conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 : proceedings" . "ProvSec 2009"@en . . "ProvSec 2009" . "Algorithm Analysis and Problem Complexity." . . "Electronic Commerce/e-business." . . "algebra." . . "Hash-Algorithmus Kongress Kanton <Stadt, 2009>" . . "ProvSec 2011 (2011 : Xi'an Shi, Chine)" . . . "Authentification." . . "authentification." . "Sicherheitsprotokoll Beweisbarkeit Kongress Schanghai <2008>" . . "ProvSec <3, 2009, Guangzhou>" . . "ProvSec. <3, 2009, Guangzhou>." . "Elektronische Unterschrift Kongress Schanghai <2008>" . . "International Conference on Provable Security, ProvSec (6 : 26-09-2012 - 28-09-2012 : Chengdu, China)" . . . "Computers and Society." . . "ProvSec 2010 (2010 : Malacca, Malaysia)" . . . "ProvSec (Conference) (1st : 2007 : Wollongong, N.S.W.)" . . . "Cryptography." . . "Computer security Congresses." . . "Computer Security Congresses." . "International Conference on Provable Security (2 2008.10.30-11.01 Shanghai)" . . . "Electronic books." . . "Symbolic and Algebraic Manipulation." . . "Kryptoanalyse Kongress Computersicherheit Datensicherung Beweisbarkeit Schanghai <2008>" . . "Sicherheitsprotokoll." . . "Management of Computing and Information Systems." . . "Kryptoanalyse." . . "ProvSec (Conference) (2nd : 2008 : Shanghai, China)" . . . "informatica." . . "Information Systems." . . "Information systems." . "Ordinateurs Accès Contrôle Congrès." . . "Systèmes informatiques Mesures de sûreté Actes de congrès." . . "Cryptography Congresses." . . "Theory of Computation." . . "Computer Appl. in Administrative Data Processing." . . "Mathematische logica." . . "ProvSec (Conference) (4th : 2010 : Malacca, Malacca, Malaysia)" . . . "Computer Science." . . "Computer science." . "Signature numérique." . . "signature numérique." . "Datensicherung." . . "Operating systems." . . "Operating Systems." . "Kryptoanalyse Computersicherheit Datensicherung Beweisbarkeit Kongress Kanton <Stadt, 2009>" . . "Hash-Algorithmus." . . "ProvSec 2009 (2009 : Canton, Chine)" . . . "Theoretische informatica." . . "Sicherheitsprotokoll Kongress Beweisbarkeit Schanghai <2008>" . . "Computer security." . . "toegepaste informatica." . . "Ergodentheorie. Informatietheorie." . . "Data encryption (Computer science) Congresses." . . "ProvSec 2009 (2009 : Guangzhou, China)" . . . "ProvSec. <1, 2007, Wollongong, New South Wales>." . . "International Conference on Provable Security (1st : 2007)." . . . "Contrôle d'accès." . . "International Conference on Provable Security (4 ; 2010 ; Malacca, Malaisie)." . . . "International Conference on Provable Security (2nd ; 2008)" . . . "Kryptologie." . . "Kryptosystem." . . "wiskunde." . . "Data Encryption." . . "Data encryption." . . . "ProvSec (2 2008.10.30-11.01 Shanghai)" . . . "Sécurité informatique Congrès." . . "Discrete Mathematics in Computer Science." . . "ProvSec (Conference) (5th : 2011 : Xi'an, China)" . . . "ProvSec (Conference) (3rd : 2009 : Guangzhou, China)" . . . "Systèmes informatiques." . . "Data protection." . . "Cryptage." . . "Legal Aspects of Computing." . . "International Conference on Provable Security, ProvSec (5 : 16-10-2011 - 18-10-2011 : Xi'an, China)" . . . "Kanton <Stadt, 2009>" . . "Computersicherheit." . . "Data Structures, Cryptology and Information Theory." . . "Chiffrierung." . . "International Conference on Provable Security, ProvSec (1 : 01-11-2007 - 02-11-2007 : Wollongong, Australia)" . . . "Mathematical Logic and Formal Languages." . . "Kryptosystem Kongress Schanghai <2008>" . . "Hash-Algorithmus Kongress Schanghai <2008>" . . "Sicherheitsprotokoll Beweisbarkeit Kongress Kanton <Stadt, 2009>" . . "Authentifikation." . . "Systèmes informatiques Mesures de sûreté Congrès." . .