yr 〜
yr

Search results 4

Foundations of security analysis and design VII : FOSAD 2012/2013 tutorial lectures : international school on foundations of security analysis and design : FOSAD summer school : FOSAD 2012 and 2013 : Bertinoro, Italy. (Lecture Notes in Computer Science ; 8604. Tutorial)

Foundations of security analysis and design VII : FOSAD 2012/2013 tutorial lectures : international school on foundations of security analysis and design : FOSAD summer school : FOSAD 2012 and 2013 : Bertinoro, Italy. (Lecture Notes in Computer Science ; 8604. Tutorial)
Paper図書
Springer[2014]<M17-15-732>
National Diet Library
  • Author Heading...Lopez, Javier. Martinelli, Fabio, 1969- International School on Found...

2012 7th international conference on risks and security of internet and systems : (CRiSIS 2012) : Cork, Ireland : 10-12 October 2012 : Oct 2012, Cork, Ireland.

2012 7th international conference on risks and security of internet and systems : (CRiSIS 2012) : Cork, Ireland : 10-12 October 2012 : Oct 2012, Cork, Ireland.
Paper図書
IEEEc2012.<M17-13-2625>
National Diet Library
  • Author Heading...Cork, Ireland) Martinelli, Fabio, 1969-

Computer security -- ESORICS 2012 : 17th European symposium on research in computer security : Pisa, Italy, September 10-12, 2012 : proceedings : Sep 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7459)

Computer security -- ESORICS 2012 : 17th European symposium on research in computer security : Pisa, Italy, September 10-12, 2012 : proceedings : Sep 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7459)
Paper図書
Springerc2012.<M17-13-608>
National Diet Library
  • Author Heading...a. Yung, Moti. Martinelli, Fabio, 1969-

Formal aspects in security and trust : 5th international workshop, FAST 2008 : Malaga, Spain, October 9-10, 2008 : revised selected papers. : Oct 2008, Malaga, Spain. (Lecture Notes in Computer Science ; 5491)

Formal aspects in security and trust : 5th international workshop, FAST 2008 : Malaga, Spain, October 9-10, 2008 : revised selected papers. : Oct 2008, Malaga, Spain. (Lecture Notes in Computer Science ; 5491)
Paper図書
Springerc2009.<M17-10-388>
National Diet Library
  • Author Heading...man, Joshua D. Martinelli, Fabio, 1969- FAST 2008 (2008 : Malaga, Spa...

Reached to the end of result.