5255 search results - page 127 / 1051 » Formal Methods for Privacy |
106
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
129
Voted
GIL
2009
15 years 11 days ago
2009
: Regulations and standards are playing an increasingly important role in crop production. Common to the vast majority of these is that they are written in a natural language which...
127
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
125
Voted
SP
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
126
Voted
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...