576 search results - page 24 / 116 » Implementing a secure setuid program |
COREGRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
CSREASAM
2010
13 years 4 months ago
2010
Abstract-- Keylogger programs attempt to retrieve confidential information by covertly capturing user input via keystroke monitoring and then relaying this information to others, o...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...