Is Your Security Protocol on Time ? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gizela Jakubowska, Wojciech Penczek. Is Your Security Protocol on Time ?. In Farhad Arbab, Marjan Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings. Volume 4767 of Lecture Notes in Computer Science, pages 65-80, Springer, 2007. [doi]

This author has not been identified. Look up 'Gizela Jakubowska' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in Google

runs on WebDSL