1186 search results - page 81 / 238 » A New Approach to Secure Logging |
SIGCSE
2008
ACM
15 years 15 days ago
2008
ACM
Early undergraduate Grid computing courses generally took a bottom-up approach to Grid computing education starting with network protocols, client-server concepts, creating Web an...
98
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
114
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
WICSA
2001
15 years 1 months ago
2001
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
119
click to vote
IJNSEC
2007
15 years 15 days ago
2007
Large scale distributed applications combine network access with multiple storage and computational elements. The distributed responsibility for resource control creates new secur...