2685 search results - page 404 / 537 » A Formal Semantics for SPKI |
158
click to vote
ICICS
2007
Springer
16 years 15 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...
146
click to vote
MODELS
2007
Springer
16 years 14 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...
136
click to vote
TGC
2007
Springer
16 years 14 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 ...
178
click to vote
CSFW
2006
IEEE
16 years 12 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...
159
click to vote
ISPDC
2006
IEEE
16 years 11 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,...