1737 search results - page 191 / 348 » On Interpolation in Existence Logics |
181
click to vote
CASES
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
231
click to vote
CSFW
2005
IEEE
16 years 23 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
198
click to vote
P2P
2005
IEEE
16 years 22 days ago
2005
IEEE
A resource directory is a critical component of a Grid architecture. P2P computing paradigm could address some of the scalability issues that make distributed resource discovery s...
171
click to vote
CHES
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
209
click to vote
SAFECOMP
2005
Springer
16 years 19 days ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...