Jump to main content

yr 〜
yr

Search results 4

2015 workshop on socio-technical aspects in security and trust (STAST 2015) : Verona, Italy : 13 July 2015 : 5th workshop on socio-technical aspects in security and trust : socio-technical aspects in security and trust international workshop : Jul 2015, Verona, Italy.

2015 workshop on socio-technical aspects in security and trust (STAST 2015) : Verona, Italy : 13 July 2015 : 5th workshop on socio-technical aspects in security and trust : socio-technical aspects in security and trust international workshop : Jul 2015, Verona, Italy.
Paper図書
IEEE[2015]<M17-17-1865>
National Diet Library
  • Author Heading...Verona, Italy) Bella, Giampaolo. Lenzini, Gabriele. IEEE Compu...

2014 workshop on socio-technical aspects in security and trust : (STAST 2014) : Vienna, Austria : 18 July 2014 : 4th workshop on socio-technical aspects in security and trust : Vienna summer of logic 2014 : "socio-technical aspects in security and trust" international workshop : Jul 2014, Vienna, Austria.

2014 workshop on socio-technical aspects in security and trust : (STAST 2014) : Vienna, Austria : 18 July 2014 : 4th workshop on socio-technical aspects in security and trust : Vienna summer of logic 2014 : "socio-technical aspects in security and trust" international workshop : Jul 2014, Vienna, Austria.
Paper図書
IEEE[2014]<M17-16-2026>
National Diet Library
  • Author Heading...enna, Austria) Bella, Giampaolo. Lenzini, Gabriele. IEEE Compu...

2013 third workshop on socio-technical aspects in security and trust : (STAST 2013) : New Orleans, Louisiana, USA : 29 June 2013 : 26th IEEE computer security foundations symposium (CSF) : Jun 2013, New Orleans, LA.

2013 third workshop on socio-technical aspects in security and trust : (STAST 2013) : New Orleans, Louisiana, USA : 29 June 2013 : 26th IEEE computer security foundations symposium (CSF) : Jun 2013, New Orleans, LA.
Paper図書
IEEE[2013]<M17-15-1096>
National Diet Library
  • Author Heading... Orleans, La.) Bella, Giampaolo. Lenzini, Gabriele. IEEE Compu...

Formal correctness of security protocols

Formal correctness of security protocols
Paper図書
Giampaolo BellaSpringerc2007
Other Libraries in Japan

Reached to the end of result.

RSS