253 search results - page 1 / 51 » Security Analysis using Flow Logics |
EATCS
2000
15 years 28 days ago
2000
127
Voted
SPC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
118
Voted
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
116
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
111
Voted
TISSEC
2010
14 years 7 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...