671 search results - page 56 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
116
click to vote
CRYPTO
2001
Springer
15 years 6 months ago
2001
Springer
Consider a network of processors among which elements in a finite field K can be verifiably shared in a constant number of rounds. Assume furthermore constant-round protocols ar...
109
click to vote
IWNAS
2008
IEEE
15 years 7 months ago
2008
IEEE
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
108
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
135
click to vote
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
103
click to vote
COMPSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...