1679 search results - page 194 / 336 » Security Properties and CSP |
202
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Distributed Virtual Computer (DVC) is a computing environment which simplifies the development and execution of distributed applications on computational grids. DVC provides a sim...
190
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
180
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Let us have an NLFSR with the feedback function g(x) and an LFSR with the generating polynomial f(x). The function g(x) is a Boolean function on the state of the NLFSR and the LFS...
175
click to vote
FC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. At FC'05, Chen et al. introduced an elegant privacy protecting coupon (PPC) system, CESSS05 [13], in which users can purchase multi-coupons and redeem them unlinkabl...
152
click to vote
SAFECOMP
2000
Springer
15 years 10 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...