94 search results - page 11 / 19 » Verifying a Secure Information Flow Analyzer |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
111
click to vote
DBSEC
2009
15 years 23 days ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
100
Voted
ESCIENCE
2007
IEEE
15 years 3 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
86
Voted
UTP
2010
14 years 9 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
205
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...