- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
Papers from a June 2004 conference report on recent work in protocols, access control intrusion detection, information flow, security policies, declassification and information flow, formal methods and cryptography, and authorization. Subjects discussed include formal analysis of multi-party contrac



