We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
: This paper describes the key ideas in the new Grid model: MiG (Minimum intrusion Grid). “The Simple Model” is a major milestone in developing the full MiG concept and when co...
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
Business processes play an important role in analyzing and designing a company's behaviour and organization. Modeling business processes is an integral part of the Semantic O...
Otto K. Ferstl, Elmar J. Sinz, Michael Amberg, Udo...
Abstract. Agent-oriented modelling of software systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We show that th...