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) (書目-電子資源)

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) (書目-電子資源)

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) (書目-電子資源)

主題