語系
Barthe, Gilles.
概要
作品: | 1 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Foundations of security analysis and design VFOSAD 2007/2008/2009 tutorial lectures /
by:
Aldini, Alessandro.; Barthe, Gilles.; Gorrieri, Roberto.; SpringerLink (Online service)
(書目-電子資源)
Software engineering and formal methods9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(1998 :); Barthe, Gilles.; Pardo, Alberto.; Schneider, Gerardo.; SpringerLink (Online service)
(書目-電子資源)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
by:
(1998 :); Barthe, Gilles.; SpringerLink (Online service)
(書目-電子資源)
Security and trust management12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings /
by:
(1998 :); Barthe, Gilles.; Markatos, Evangelos.; Samarati, Pierangela.; SpringerLink (Online service)
(書目-電子資源)
Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesInternational Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by:
(1998 :); Barthe, Gilles.; SpringerLink (Online service)
(書目-電子資源)
Verification, model checking, and abstract interpretation11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
(1998 :); Barthe, Gilles.; Hermenegildo, Manuel.; SpringerLink (Online service)
(書目-電子資源)
Engineering secure software and systems4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(1998 :); Barthe, Gilles.; Livshits, Benjamin.; Scandariato, Riccardo.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
(1998 :); Barthe, Gilles.; Datta, Anupam.; Etalle, Sandro.; SpringerLink (Online service)
(書目-電子資源)
Programming languages and systems20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
by:
(1998 :); Barthe, Gilles.; SpringerLink (Online service)
(書目-電子資源)
Trustworthy Global ComputingThird Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(1998 :); Barthe, Gilles.; Fournet, Cedric.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Computer storage devices
Software engineering
Data Structures, Cryptology and Information Theory.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Data protection
Computer software
Programming Techniques.
Operating Systems.
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer programming
Programming languages (Electronic computers)
Formal methods (Computer science)
Data encryption (Computer science)
Information Storage and Retrieval.
Models and Principles.
Computer security
Data Encryption.
Computer programs
Computer Science.
Computer Communication Networks.
Systems and Data Security.
Computer networks
Math Applications in Computer Science.
Computers and Society.
Smart cards
Data transmission systems