3193 search results - page 174 / 639 » A Security Risk Analysis Model for Information Systems |
193
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
190
click to vote
ENTCS
2006
15 years 7 months ago
2006
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
219
click to vote
CAISE
2003
Springer
16 years 9 days ago
2003
Springer
In a modern business process, documents are important carriers of information between organisations. Document management solutions are increasingly based on structured document for...
224
click to vote
AC
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
311
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...