2021 search results - page 221 / 405 » COCO: Composition Model and Composition Model Implementation |
179
click to vote
JSW
2007
15 years 6 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
206
click to vote
IACR
2011
14 years 6 months ago
2011
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...
169
click to vote
MIDDLEWARE
2007
Springer
16 years 18 days ago
2007
Springer
Large-scale, value-added Internet services composed of independent cooperating or competing services will soon become common place. Several groups have addressed the performance, c...
153
click to vote
SAS
2007
Springer
16 years 17 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
176
click to vote
CSFW
2005
IEEE
16 years 2 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...