2688 search results - page 402 / 538 » A formal semantics for P3P |
164
click to vote
ICICS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
151
click to vote
MODELS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
138
click to vote
TGC
2007
Springer
16 years 18 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
182
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
161
click to vote
ISPDC
2006
IEEE
16 years 15 days ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...