Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering

Front Cover
Association for Computing Machinery, 2004 - Computer security

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Formally Verifying Information Flow Type Systems
Security Analysis I
A Logicbased Framework for Attribute based Access Control
Copyright

1 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information