A Modeling and Formal Approach for the Precise Specification of Security Patterns

Brahim Hamid, Christian Percebois. A Modeling and Formal Approach for the Precise Specification of Security Patterns. In Jan Jürjens, Frank Piessens, Nataliia Bielova, editors, Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings. Volume 8364 of Lecture Notes in Computer Science, pages 95-112, Springer, 2014. [doi]

Authors

Brahim Hamid

This author has not been identified. It may be one of the following persons: Look up 'Brahim Hamid' in Google

Christian Percebois

This author has not been identified. Look up 'Christian Percebois' in Google