1771 search results - page 121 / 355 » An Aspect-Oriented Security Framework |
162
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Kernel-level attacks or rootkits can compromise the security of an operating system by executing with the privilege of the kernel. Current approaches use virtualization to gain hi...
178
click to vote
TPHOL
2008
IEEE
16 years 24 days ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
207
click to vote
WORDS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
198
click to vote
CSREASAM
2006
15 years 7 months ago
2006
Role based access control (RBAC) allows users access to resources based on their competencies and responsibilities within an organization. Typically, RBAC is provided as a securit...
154
click to vote
IADIS
2003
15 years 7 months ago
2003
The MODA-ML project aims to enhance the interoperability between enterprises in the Textile/Clothing sector defining a common interchange language based on a set of XML business c...