1795 search results - page 19 / 359 » Security Models and Information Flow |
CSFW
1999
IEEE
13 years 12 months ago
1999
IEEE
The term "intransitive noninterference" refers to the information flow properties required of systems like downgraders, in which it may be legitimate for information to ...
IJNSEC
2007
13 years 7 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
IJMI
2007
13 years 7 months ago
2007
Objective: We present an integrated set of technologies, known as the Hippocratic Database, that enable healthcare enterprises to comply with privacy and security laws without imp...
SPC
2005
Springer
14 years 1 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 ...
JCS
2007
13 years 7 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...