7690 search results - page 29 / 1538 » On the semantics of informational independence |
DATE
1997
IEEE
14 years 22 days ago
1997
IEEE
In digital circuit simulation hidden opportunities for concurrent execution of models often exist, arising from the propagation delay associated with the generation of output even...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
paper we will discuss the design of abstract firewall model along with platform-independent policy definition language. We will also discuss the main design challenges and solutio...
AMEC
2004
Springer
14 years 1 months ago
2004
Springer
IEICET
2011
12 years 12 months ago
2011
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...