351 search results - page 32 / 71 » Formalisation and implementation of Access control models |
111
Voted
POPL
1999
ACM
15 years 4 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
SACMAT
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
199
Voted
SACMAT
2011
ACM
14 years 3 months ago
2011
ACM
Information leakage via the networks formed by subjects (e.g., Facebook, Twitter) and objects (e.g., blogosphere) − some of whom may be controlled by malicious insiders − ofte...
142
Voted
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
106
Voted
WSC
2001
15 years 1 months ago
2001
The United States Department of Defense (DoD) has, over the past several years, emphasized the need to employ simulation based acquisition (SBA) in engineering and development. Di...