739 search results - page 18 / 148 » Information Flow in Credential Systems |
TISSEC
2010
13 years 2 months ago
2010
Several credential systems have been proposed in which users can authenticate to service providers anonymously. Since anonymity can give users the license to misbehave, some varia...
JCS
2007
13 years 7 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
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 ...
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...