253 search results - page 1 / 51 » Security Analysis using Flow Logics |
EATCS
2000
13 years 5 months ago
2000
SPC
2005
Springer
13 years 10 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 ...
SIGADA
2004
Springer
13 years 10 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...
COORDINATION
2008
Springer
13 years 7 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 ...
TISSEC
2010
13 years 23 hour 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'...