Performance Evaluation of Security Protocols Specified in LySa - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami. Performance Evaluation of Security Protocols Specified in LySa. Electronic Notes in Theoretical Computer Science, 112:167-189, 2005. [doi]

The following publications are possibly variants of this publication:

On Evaluating the Performance of Security ProtocolsChiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami. pact 2005: 1-15 [doi]

runs on WebDSL