89 search results - page 8 / 18 » Compiled Labelled Deductive Systems for Access Control |
107
click to vote
IEEEIAS
2008
IEEE
15 years 6 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
STORAGESS
2005
ACM
15 years 6 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...
119
Voted
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
109
Voted
CCS
2007
ACM
15 years 6 months ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
The RBAC96 access control model has been the basis for extensive work on role-based constraint specification and role-based delegation. However, these practical extensions can als...