Sciweavers

4861 search results - page 183 / 973
» Parsimonious concept modeling
Sort
View
IEEEIAS
2007
IEEE
16 years 25 days ago
Modeling Security Protocols as Games
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 ...
Mohamed Saleh, Mourad Debbabi
WETICE
2005
IEEE
16 years 3 days ago
Minimum intrusion Grid - The Simple Model
: 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...
Henrik Hoey Karlsen, Brian Vinter
CAISE
2004
Springer
15 years 12 months ago
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
Xiaocheng Ge, Fiona Polack, Régine Laleau
GI
1994
Springer
15 years 10 months ago
Tool-Based Business Process Modeling Using the SOM Approach
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...
AOIS
2003
15 years 8 months ago
AOR Modelling and Simulation: Towards a General Architecture for Agent-Based Discrete Event Simulation
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...
Gerd Wagner