653 search results - page 6 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
ICDCS
2008
IEEE
14 years 2 months ago
2008
IEEE
Software-based usage controls typically are vulnerable to attacks. Trusted Platform Modules (TPMs) can enable much more robust controls. However, as conventionally understood, TPM...
CCGRID
2002
IEEE
14 years 20 days ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
TRUST
2009
Springer
14 years 2 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
CSFW
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
Malware and rootkits are serious security vulnerabilities, and they can be designed to be resistant to anti-viral software, or even totally undetectable. This paper described a hi...