A sequence diagram is a modeling approach for visualizing the behavioral execution of a system. The objective of this research is to investigate the problem of security in a behavioral model (sequence ...

This concept paper surveys the use of UML 2.0 and basic formal logic notations to represent use case scenarios of models of trust for a digital identity. Various definitions are provided as well as an ...