2303 search results - page 52 / 461 » The Cryptographic Abstract Machine |
157
Voted
IANDC
2007
15 years 2 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
95
Voted
LISP
2007
15 years 2 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
139
click to vote
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
116
Voted
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
121
click to vote
PROVSEC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...