12637 search results - page 401 / 2528 » Security for Extensible Systems |
193
click to vote
SEC
1997
15 years 8 months ago
1997
A formal top down model shall be presented to aid documentation and harmonization of information security requirements. The model formalizes layered development of inn security, w...
205
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
175
click to vote
ENTCS
2010
15 years 6 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
230
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a method for mapping security levels among the components of a distributed system where data in the local sources are represented in XML. Distributed data is i...
163
click to vote
COMPSEC
2004
15 years 6 months ago
2004
Computer security has traditionally been assessed from a technical point of view. Another way to assess it is by investigating the role played by legitimate users of systems in imp...