2270 search results - page 163 / 454 » Modelling Secure IT Systems - A Survey |
112
Voted
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
Internet systems provide a variety of ways to exchange information, contain large amounts and variety of data, and have become quite complex, making them vulnerable to attacks fro...
115
Voted
OOPSLA
1989
Springer
15 years 7 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
117
Voted
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
A crowd is not only a group of many individuals. Crowd modelling involves problems that arise only when we focus on crowds. For instance, avoiding collision problems related to a ...
140
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
140
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...