AI-Lab

Serena Elisa Ponta

Publications : Publications

• A. Armando and S. E. Ponta. Model Checking of Security-sensitive Business Processes. Proceedings of the 6th International Workshop on Formal Aspects in Security and Trust (FAST2009), Eindhoven, the Netherlands, November 5-6, 2009.

  ---

• A. Armando, E. Giunchiglia and S. E. Ponta. Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach. Proceedings of the 6th International Conference on Trust, Privacy & Security in Digital Business (TrustBus'09), August 31 - September 4, 2009, Linz, Austria.

---

Powered by UHP2 1.5 - Free version please visit our site to upgrade
© Copyright 2007 Ravenswood IT Services