6581 search results - page 1006 / 1317 » Formalizing Design Patterns |
192
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
179
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
We construct two new multiparty digital signature schemes that allow multiple signers to sequentially produce a compact, fixed-length signature. First, we introduce a new primiti...
174
click to vote
ESORICS
2007
Springer
16 years 27 days 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...
209
click to vote
FMICS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
207
Voted
LOPSTR
2007
Springer
16 years 26 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...