Publications
Search

Publications :: Search

Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols.

Rate this publication

If you log in you may submit a rating for this publication on this page.