371 search results - page 59 / 75 » On the Modeling of Bell-LaPadula Security Policies Using RBA... |
153
click to vote
HICSS
2009
IEEE
16 years 29 days ago
2009
IEEE
Many groups are interested in the insider threat problem, but the model generally used by all of these groups is implicitly binary—one is either within a perimeter or not. There...
186
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
206
click to vote
ICSOC
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
178
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
162
click to vote
IJIEM
2007
15 years 6 months ago
2007
: Digital piracy is threatening the global multimedia content industry and blindly applied coercive Digital Right Management (DRM) policies do nothing but legitimizing this piracy....