5475 search results - page 667 / 1095 » Model Driven Security |
145
click to vote
SPW
2001
Springer
15 years 11 months ago
2001
Springer
Although the notion of negotiation has been used extensively in secure communication protocols to establish common keying states, protocol modes and services, this notion is only n...
157
click to vote
CCS
1993
ACM
15 years 11 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
189
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
172
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
We present a robust multiparty computation protocol. The protocol is for the cryptographic model with open channels and a polytime adversary, and allows n parties to actively secur...
173
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...