yr 〜
yr

Search results 1

Theory of security and applications : joint workshop, TOSCA 2011 : Saarbrücken, Germany, March 31-April 1, 2011 : revised selected papers : meeting on the theory of security and applications : Mar 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 6993)

Theory of security and applications : joint workshop, TOSCA 2011 : Saarbrücken, Germany, March 31-April 1, 2011 : revised selected papers : meeting on the theory of security and applications : Mar 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 6993)
Paper図書
Springerc2012.<M17-12-2114>
National Diet Library
  • Author HeadingJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2011 : Saarbrücken, Germany) Mödersheim, Sebastian. Palami...

Reached to the end of result.