2137 search results - page 320 / 428 » Proving Abstract Non-interference |
116
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
133
click to vote
EMISA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: Success of IT security not only depends on the evolution of technologies, but also relies on the knowledge of IT-Personnel and the level of their IT-security education. I...
116
Voted
ESA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we study the external memory planar point enclosure problem: Given N axis-parallel rectangles in the plane, construct a data structure on disk (an index) su...
102
Voted
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
126
click to vote
EUROPKI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In many cryptographic applications it is necessary to generate elliptic curves (ECs) with certain security properties. These curves are commonly constructed using the Com...