EXPRESS 2008 Expressiveness in Concurrency – 15th int. workshop Security Abstractions and Intruder Models (Extended Abstract) Michele Bugliesi - Process calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	EXPRESS 2008 Expressiveness in Concurrency – 15th int. workshop Security Abstractions and Intruder Models (Extended Abstract) Michele Bugliesi Add to Reading List Document Date: 2009-01-23 08:18:42 Open Document File Size: 261,36 KB Share Result on Facebook Company Intruders Networks / Elsevier Science B. V. / / Currency pence / / / IndustryTerm cryptographic protocols / / Organization Struct Par Assoc / / Person Michele Bugliesi / / Position Replay/Forward / Co-forward / forward / / Technology randomized encryption / / SocialTag Π-calculus Lambda calculus Process calculus Bisimulation FO XTR Theoretical computer science Applied mathematics Mathematics

EXPRESS 2008 Expressiveness in Concurrency – 15th int. workshop Security Abstractions and Intruder Models (Extended Abstract) Michele BugliesiAdd to Reading List