Soft Constraints for Security Protocol Analysis: Confidentiality - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giampaolo Bella, Stefano Bistarelli. Soft Constraints for Security Protocol Analysis: Confidentiality. In I. V. Ramakrishnan, editor, Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings. Volume 1990 of Lecture Notes in Computer Science, pages 108-122, Springer, 2001. [doi]

This author has not been identified. Look up 'Giampaolo Bella' in GoogleThis author has not been identified. Look up 'Stefano Bistarelli' in Google

runs on WebDSL