624 search results - page 87 / 125 » Application of Lightweight Formal Methods to Software Securi... |
112
click to vote
DRM
2006
Springer
15 years 3 months ago
2006
Springer
One of the most fundamental problems in computer security is protecting sensitive digital information from unauthorized disclosure. There are a number of challenges, such as spywa...
DEXAW
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper proposed a novel method to protect logging information more securely. The method, named NIGELOG, produces multiple backups of the logging information, hides them in arb...
102
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
CAV
2009
Springer
16 years 10 days ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
104
click to vote
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...