2137 search results - page 278 / 428 » Proving Abstract Non-interference |
128
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. One of the main open problems in secret sharing is the characterization of the access structures of ideal secret sharing schemes. As a consequence of the results by Brick...
147
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper we consider packet networks loaded by admissible traffic patterns, i.e. by traffic patterns that, if optimally routed, do not overload network resources. In the...
138
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
134
click to vote
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
155
click to vote
SPAA
2004
ACM
15 years 9 months ago
2004
ACM
Page migration is one of the fundamental subproblems in the framework of data management in networks. It occurs in a distributed network of processors sharing one indivisible memo...