1779 search results - page 140 / 356 » A Formal Model of Data Privacy |
123
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
124
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
128
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
150
click to vote
ESORICS
2004
Springer
15 years 10 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
152
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...