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

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]

This author has not been identified. Look up 'Chiara Bodei' in GoogleThis author has not been identified. Look up 'Michele Curti' in GoogleThis author has not been identified. Look up 'Pierpaolo Degano' in GoogleThis author has not been identified. Look up 'Mikael Buchholtz' in GoogleThis author has not been identified. Look up 'Flemming Nielson' in GoogleThis author has not been identified. Look up 'Hanne Riis Nielson' in GoogleThis author has not been identified. Look up 'Corrado Priami' in Google

runs on WebDSL