25 search results - page 4 / 5 » Controlling the What and Where of Declassification in Langua... |
CCS
2009
ACM
15 years 6 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...
94
Voted
IFIP
2005
Springer
15 years 5 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
ICISS
2005
Springer
15 years 5 months ago
2005
Springer
The event-condition-action paradigm (also known as triggers or rules) is a powerful technology. It gives a database “active” capabilities – the ability to react automatically...
HPDC
1997
IEEE
15 years 3 months ago
1997
IEEE
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...
ACSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
Traditionally, creation and revocation of certificates are performed manually, by trusted agents, under conditions that are rarely formalized. This approach to certificate managem...