yr 〜
yr

Search results 7

Engineering secure software and systems : 4th international symposium, ESSoS 2012 : Eindhoven, the Netherlands, February, 16-17, 2012 : proceedings : Feb 2012, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7159)

Engineering secure software and systems : 4th international symposium, ESSoS 2012 : Eindhoven, the Netherlands, February, 16-17, 2012 : proceedings : Feb 2012, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7159)
Paper図書
Springerc2012.<M17-12-2905>
National Diet Library
  • Author Heading...e Netherlands) Barthe, Gilles, 1967- Livshits, Benjamin. Scandaria...

Formal aspects of security and trust : 8th international workshop, FAST 2011 : Leuven, Belgium, September 12-14, 2011 : revised selected papers : Sep 2011, Leuven, Belgium. (Lecture Notes in Computer Science ; 7140)

Formal aspects of security and trust : 8th international workshop, FAST 2011 : Leuven, Belgium, September 12-14, 2011 : revised selected papers : Sep 2011, Leuven, Belgium. (Lecture Notes in Computer Science ; 7140)
Paper図書
Springerc2012.<M17-13-22>
National Diet Library
  • Author HeadingFAST (Workshop) (8th : 2011 : Leuven, Belgium) Barthe, Gilles, 1967- Datta, Anupam. Etalle, Sandro...

Trustworthy global computing : third symposium, TGC 2007 : Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers. : international symposium on trustworthy global computing : workshop on the interplay of programming languages and cryptography : Nov 2007, Sophia-Antipolis, France. (Lecture Notes in Computer Science ; 4912)

Trustworthy global computing : third symposium, TGC 2007 : Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers. : international symposium on trustworthy global computing : workshop on the interplay of programming languages and cryptography : Nov 2007, Sophia-Antipolis, France. (Lecture Notes in Computer Science ; 4912)
Paper図書
Springerc2008.<M17-08-941>
National Diet Library
  • Author HeadingBarthe, Gilles, 1967- Fournet, Cédric. TGC 2007 (20...

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5051)

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : 10th IFIP Working Group 6.1 international conference on formal methods for open object-based distributed systems : 3rd federated conferences on distributed computing techniques (DisCoTec) : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5051)
Paper図書
Springerc2008.<M17-08-2320>
National Diet Library
  • Author HeadingBarthe, Gilles, 1967- Boer, Frank S. de. Internatio...

Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005 : Nice, France, March 8-11, 2005 : revised selected papers. : Mar 2005, Nice, France. (Lecture Notes in Computer Science ; 3956)

Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005 : Nice, France, March 8-11, 2005 : revised selected papers. : Mar 2005, Nice, France. (Lecture Notes in Computer Science ; 3956)
Paper図書
Springerc2006.<M17-06-1883>
National Diet Library
  • Author Heading...atique (INRIA) Barthe, Gilles, 1967- CASSIS (Conference)

Foundations of security analysis and design 5 : FOSAD 2007/2008/2009 tutorial lectures. : international school on foundations of security analysis and design : FOSAD 2007 : FOSAD 2008 : FOSAD 2009 : Bertinoro, Italy. (Lecture Notes in Computer Science ; 5705. Tutorial)

Foundations of security analysis and design 5 : FOSAD 2007/2008/2009 tutorial lectures. : international school on foundations of security analysis and design : FOSAD 2007 : FOSAD 2008 : FOSAD 2009 : Bertinoro, Italy. (Lecture Notes in Computer Science ; 5705. Tutorial)
Paper図書
Springerc2009.<M17-10-2113>
National Diet Library
  • Author HeadingAldini, Alessandro. Barthe, Gilles, 1967- Gorrieri, Roberto. Internatio...

Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures. : Sep 2000, Caminha, Portugal. (Lecture Notes in Computer Science ; 2395. Tutorial)

Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures. : Sep 2000, Caminha, Portugal. (Lecture Notes in Computer Science ; 2395. Tutorial)
Paper図書
Springer2002.<M17-03-488>
National Diet Library
  • Author Heading...ontrol (INRIA) Barthe, Gilles, 1967-

Reached to the end of result.