1186 search results - page 46 / 238 » A New Approach to Secure Logging |
122
Voted
IWUC
2004
15 years 1 months ago
2004
Ensuring personal safety for people on the move is becoming a heightened priority in today's uncertain environment. Traditional approaches are no longer adequate in meeting ri...
96
Voted
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...
126
Voted
APLAS
2010
ACM
15 years 21 days 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...
105
Voted
TCC
2009
Springer
16 years 1 months ago
2009
Springer
We study the complexity of securely evaluating arithmetic circuits over finite rings. This question is motivated by natural secure computation tasks. Focusing mainly on the case o...
138
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...