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.