1679 search results - page 10 / 336 » Security Properties and CSP |
113
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
IEEEIAS
2007
IEEE
15 years 8 months 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...
109
Voted
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
116
click to vote
ASWEC
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable progress has been made in identifying properties which ensure tracta...