1195 search results - page 212 / 239 » Modeling an Algebraic Stepper |
160
click to vote
CRYPTO
2007
Springer
16 years 12 hour ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
159
click to vote
ESOP
2007
Springer
16 years 8 hour ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
154
click to vote
FROCOS
2007
Springer
16 years 5 hour ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
148
click to vote
LPAR
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
202
click to vote
CCECE
2006
IEEE
15 years 12 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...