2486 search results - page 22 / 498 » A Type System for Computationally Secure Information Flow |
CSFW
1997
IEEE
14 years 25 days ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
TGC
2005
Springer
14 years 2 months ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
ENTCS
2008
13 years 8 months ago
2008
The ability to enforce usage policies attached to data in a fine grained manner requires that the system be able to trace and control the flow of information within it. This paper...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Traffic classification is the ability to identify and categorize network traffic by application type. In this paper, we consider the problem of traffic classification in the netwo...
ASIAN
2007
Springer
14 years 19 days ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...