1484 search results - page 3 / 297 » Security policies for downgrading |
CSFW
1999
IEEE
13 years 11 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 ...
MOR
2010
13 years 2 months ago
2010
CORR
2011
Springer
13 years 2 months ago
2011
Springer
— This paper introduces Policy based Management Information Base to mange danger in Artificial Immune System inspired secure routing in Wireless Mesh Networks. WMN management fun...
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...
SAS
2005
Springer
14 years 23 days ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...