✦ LIBER ✦

An algebraic approach to the verification of a class of Diffie-Hellman protocols

✍ Scribed by Rob Delicata; Steve Schneider

Publisher: Springer-Verlag
Year: 2007
Tongue: English
Weight: 387 KB
Volume: 6
Category: Article
ISSN: 1615-5262
DOI: 10.1007/s10207-007-0013-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algebraic approach to the restoration

An algebraic approach to the restoration of images

✍ S.S. Prabhu; K. Subramanian; E.V. Krishnamurthy 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 200 KB

An approach to the heuristic aspect of a

An approach to the heuristic aspect of algebraic transformations

✍ V. G. Bodnarchuk; G. A. Gvedashvili 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 208 KB

An Approach to the Verification of Symme

An Approach to the Verification of Symmetric Parameterized Distributed Systems

✍ I. V. Konnov; V. A. Zakharov 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 153 KB

An algebraic approach to the proof of tu

An algebraic approach to the proof of turnpike theorems

✍ S.A. Ashmanov 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 479 KB

An approach to the dynamic verification

An approach to the dynamic verification of knowledge-based systems

✍ Keinosuke Matsumoto; Tomihiro Takano 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 623 KB

An Algebraic Computational Approach to t

An Algebraic Computational Approach to the Identifiability of Fourier Models

✍ M. Caboara; E. Riccomagno 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 506 KB

Computer algebra and in particular Gröbner bases are powerful tools in experimental design (Pistone and Wynn, 1996, Biometrika 83, 653-666). This paper applies this algebraic methodology to the identifiability of Fourier models. The choice of the class of trigonometric models forces one to deal with