Ebenezer Paintsil, Lothar Fritsch. Executable Model-Based Risk Analysis Method for Identity Management Systems: Using Hierarchical Colored Petri Nets. In Steven Furnell, Costas Lambrinoudakis, Javier Lopez, editors, Trust, Privacy, and Security in Digital Business - 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings. Volume 8058 of Lecture Notes in Computer Science, pages 48-61, Springer, 2013. [doi]
Abstract is missing.