Refinement patterns for ASTDs
Frappier, Marc, Gervais, Frédéric, Laleau, Régine, Milhau, Jérémy
Published in Formal aspects of computing (01.09.2014)
Published in Formal aspects of computing (01.09.2014)
Get full text
Journal Article
Validation of IS Security Policies Featuring Authorisation Constraints
Ledru, Yves, Idani, Akram, Milhau, Jérémy, Qamar, Nafees, Laleau, Régine, Richier, Jean-Luc, Labiadh, Mohamed Amine
Published in International journal of information system modeling and design (01.01.2015)
Published in International journal of information system modeling and design (01.01.2015)
Get full text
Journal Article
Combining UML, ASTD and B for the formal specification of an access control filter
Milhau, J., Idani, A., Laleau, R., Labiadh, M. A., Ledru, Y., Frappier, M.
Published in Innovations in systems and software engineering (01.12.2011)
Published in Innovations in systems and software engineering (01.12.2011)
Get full text
Journal Article
A four-concern-oriented secure is development approach
Jiague, Michel Embe, Frappier, Marc, Gervais, Frederic, Konopacki, Pierre, Laleau, Regine, Milhau, Jeremy, St-Denis, Richard
Published in Proceedings of the International Conference on Security and Cryptography (01.07.2011)
Get full text
Published in Proceedings of the International Conference on Security and Cryptography (01.07.2011)
Conference Proceeding