719 search results - page 132 / 144 » Proving Security Protocols Correct |
168
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
166
click to vote
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
As computer systems are essential components of many critical commercial services, the need for secure online transactions is now becoming evident. The demand for such application...
64
Voted
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...
104
click to vote
ECOOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—The ability of setting up a covert channel, which allows any two nodes with Internet connections to engage in secretive communication, clearly causes a very serious security con...