[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Meca: A Tool for Access Control Models

[Lecture Notes in Computer Science] B 20

[Lecture Notes in Computer Science] B 2007: Formal Specification and Development in B Volume 4355 || Integration of Security Policy into System Modeling

✍ Julliand, Jacques; Kouchnarenko, Olga 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 443 KB

TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, he

[Lecture Notes in Computer Science] ZB 2

[Lecture Notes in Computer Science] ZB 2003: Formal Specification and Development in Z and B Volume 2651 || A Formal Specification in B of a Medical Decision Support System

✍ Bert, Didier; Bowen, Jonathan P.; King, Steve; Waldén, Marina 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 179 KB

[Lecture Notes in Computer Science] ZB 2

[Lecture Notes in Computer Science] ZB 2003: Formal Specification and Development in Z and B Volume 2651 || A Formal Specification in B of a Medical Decision Support System

✍ Bert, Didier; Bowen, Jonathan P.; King, Steve; Waldén, Marina 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 179 KB

[Lecture Notes in Computer Science] ZB 2

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Refinement and Reachability in Event_B

✍ Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 829 KB

This Book Constitutes The Refereed Proceedings Of The 4th International Conference Of Z And B Users, Zb 2005, Held In Guildford, Uk In April 2005. The 25 Revised Full Papers Presented Together With Extended Abstracts Of 2 Invited Papers Were Carefully Reviewed And Selected For Inclusion In The Book.

[Lecture Notes in Computer Science] ZB 2

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Refinement and Reachability in Event_B

✍ Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 829 KB

This Book Constitutes The Refereed Proceedings Of The 4th International Conference Of Z And B Users, Zb 2005, Held In Guildford, Uk In April 2005. The 25 Revised Full Papers Presented Together With Extended Abstracts Of 2 Invited Papers Were Carefully Reviewed And Selected For Inclusion In The Book.

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Security – ESORICS 2005 Volume 3679 || Semantic Access Control Model: A Formal Specification

✍ Vimercati, Sabrina de Capitani; Syverson, Paul; Gollmann, Dieter 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 523 KB