669 search results - page 53 / 134 » Mastering the Master Theorem |
ACMICEC
2003
ACM
15 years 3 months ago
2003
ACM
Multi-organizational EDI message networks are complicated communication environments with various standards and technologies. The role of third party message exchange hubs has bec...
ASIACRYPT
2003
Springer
15 years 1 months ago
2003
Springer
This paper introduces the concept of certificateless public key cryptography (CL-PKC). In contrast to traditional public key cryptographic systems, CL-PKC does not require the use...
ASIACRYPT
2008
Springer
14 years 12 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
APAL
2002
14 years 9 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
ACTA
1998
14 years 9 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...