Conference , Workshops Proceedings

Formal Verification of Business Workflows ...

Dury, A., Boroday, S., Petrenko, A. and Lotz, V. "Formal Verification of Business Workflows and Role Based Access Control System" in Proceedings of the International Conference on Emerging Security Information, Systems and Technologies (SecureWare 2007). Valencia, Spain
[Full text] [Abstract]

  • Infolettre de juin 2018 - Voici les dernières nouvelles du CRIM, ses membres et partenaires https://t.co/e4pU6hMa4j https://t.co/YSVe1z1SNB
  • technopolys RT @technopolys_qc: Gestion de réunions : le CRIM et Luffa deviennent partenaires https://t.co/zkpnadMXGv