3931 search results - page 583 / 787 » Separation logic and abstraction |
178
click to vote
ACNS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We examine the problem of message recognition by reviewing the definitions and the security model in the literature. In particular, we examine the Jane Doe protocol, whi...
216
click to vote
TRUSTBUS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Existing policy languages suffer from a limited ability of directly and elegantly expressing high-level access control principles such as history-based separation of dut...
222
click to vote
WADS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Algorithms dealing with massive data sets are usually designed for I/O-efficiency, often captured by the I/O model by Aggarwal and Vitter. Another aspect of dealing with ...
216
click to vote
DEXA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper proposes a natural extension of conditional functional dependencies (cfds [14]) and conditional inclusion dependencies (cinds [8]), denoted by cfdp s and cindp...
198
click to vote
EUROGP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Population size is a critical parameter that affects the performance of an Evolutionary Computation model. A variable population size scheme is considered potentially be...