InhaltsangabeTwo Formal Approaches for Approximating Noninterference Properties.- The Key Establi...
This book constitutes the refereed proceedings of the 4th International Conference on Principles ...
InhaltsangabeMathematical Models of Computer Security.- The Logic of Authentication Protocols.- A...