Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis

Electronic Notes in Theoretical Computer Science

Volumn 197, Issue 2, 2008, Pages 15-29

  Refsda, Atle ^a   Stølen, Ketil ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

risk analysis; sequence diagrams; Trust modeling

Indexed keywords

ABSTRACTING; BEHAVIORAL RESEARCH; MATHEMATICAL MODELS; RISK ANALYSIS;

SEQUENCE DIAGRAMS; TRUST MODELING;

MARKUP LANGUAGES;

EID: 39349102892     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.12.014     Document Type: Article

References (16)

1. Brændeland, G. and K. Stølen, Using model-based security analysis in component-oriented system development, in: Proceedings of Quality of Protection (QoP) (2006), pp. 11-18
2. Burrows M., Abadi M., and Needham R. A logic of authentication. ACM Transactions on Computer Systems 8 (1990) 18-36
3. den Braber F., Mildal A.B., Nes J., Stølen K., and Vraalsen F. Experiences from using the CORAS methodology to analyze a web application. Journal of Cases in Information Technology 7 (2005) 110-130
4. Gambetta D. Can we trust trust?. In: Gambetta D. (Ed). Trust: Making and Breaking Cooperative Relations (1988), Basil Blackwell, Oxford 213-237
5. Giorgini P., Massacci F., Mylopoulos J., and Zannone N. Requirements engineering meets trust management: Model, methodology, and reasoning. Trust Management. LNCS 2995 (2004) 176-190
6. Haugen Ø., Husa K.E., Runde R.K., and Stølen K. STAIRS towards formal design with sequence diagrams. Journal of Software and Systems Modeling 22 (2005) 349-458
7. Jøsang A. A logic for uncertain probabilities. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9 (2001) 279-311
8. Jøsang A. Probabilistic logic under uncertainty. Thirteenth Computing: The Australasian Theory Symposium. (CATS2007). Conferences in Research and Practice in Information Technology (CRPIT) 65 (2007) 101-110
9. Jøsang A., Bradley D., and Knapskog S.J. Belief-based risk analysis. Proceedings of the Australasian Information Security Workshop (AISW). Conferences in Research and Practice in Information Technology (CRPIT) 32 (2004) 63-68
10. Jøsang A., Keser C., and Dimitrakos T. Can we manage trust?. Trust Management. LNCS 3477 (2005) 93-107
11. Lysemose, T., T. Mahler, B. Solhaug, J. Bing, D. Elgesem and K. Stølen, ENFORCE conceptual framework, Technical Report A1209, SINTEF ICT (2007)
12. Object Management Group, "UML 2.1 Superstructure Specification," Document: ptc/06-04-02 edition (2006)
13. Refsdal A., Husa K.E., and Stølen K. Specification and refinement of soft real-time requirements using sequence diagrams. Proceedings of Formal Modeling and Analysis of Timed Systems. (FORMATS). LNCS 3829 (2005) 32-48
14. Refsdal A., Runde R.K., and Stølen K. Underspecification, inherent nondeterminism and probability in sequence diagrams. Proceedings of Formal Methods for Open Object-Based Distributed Systems. (FMOODS). LNCS 4037 (2006) 138-155
15. Runde R., Haugen Ø., and Stølen K. Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing 12 2 (2005) 157-188
16. Stamatiou Y.C., Henriksen E., Lund M.S., Mantzouranis E., Psarros M., Skipenes E., Stathiakis N., and Stølen K. Experiences from using model-based risk assessment to evaluate the security of a telemedicine application. Proceedings of Telemedicine in Care Delivery. (TICD) (2002) 115-119