165 search results - page 23 / 33 » Safely Composing Security Protocols |
120
Voted
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
151
Voted
PADL
2012
Springer
13 years 11 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
168
Voted
SOCIALCOM
2010
15 years 1 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
137
Voted
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
131
click to vote
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...