2501 search results - page 223 / 501 » Obligations and Their Interaction with Programs |
144
click to vote
IEEEIAS
2007
IEEE
16 years 9 days ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
162
click to vote
IPPS
2006
IEEE
16 years 22 hour ago
2006
IEEE
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
138
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
166
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
146
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...