Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several rel...

InhaltsangabeTwo Formal Approaches for Approximating Noninterference Properties.- The Key Establi...

This book presents the fundamentals of concurrency theory with clarity and rigor. The authors sta...

InhaltsangabeMathematical Models of Computer Security.- The Logic of Authentication Protocols.- A...

InhaltsangabePreface. Part 1: Languages. Piccola - A Small Compositional Language; O. Nierstrasz....

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

The increasing relevance of security to real-life applications, such as electronic commerce and I...

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on...

This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Bi...