✦ LIBER ✦

Symbolic protocol analysis for monoidal equational theories

✍ Scribed by Stéphanie Delaune; Pascal Lafourcade; Denis Lugiez; Ralf Treinen

Book ID: 113641710
Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 700 KB
Volume: 206
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2007.07.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A symbolic framework for multi-faceted s

A symbolic framework for multi-faceted security protocol analysis

✍ Andrea Bracciali; Gianluigi Ferrari; Emilio Tuosto 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 844 KB

A method for symbolic analysis of securi

A method for symbolic analysis of security protocols

✍ Michele Boreale; Maria Grazia Buscemi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 421 KB

Symbolic analysis-a tool for teaching un

Symbolic analysis-a tool for teaching undergraduate circuit theory

✍ Huelsman, L.P. 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 779 KB

Symbolic dynamic filtering for image ana

Symbolic dynamic filtering for image analysis: theory and experimental validation

✍ Aparna Subbu; Abhishek Srivastav; Asok Ray; Eric Keller 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 565 KB

Symbolic-Numerical Method for the Stabil

Symbolic-Numerical Method for the Stability Analysis of Difference Schemes on the Basis of the Catastrophe Theory

✍ E.V. Vorozhtsov; B.Yu. Scobelev; V.G. Ganzha 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 644 KB

We propose a symbolic-numerical method for the stability analysis of diflerence initial-value problems approximating initial-value problems for the systems of partial differential equations of hyperbolic or parabolic type. The basis of the method is constituted by the Fourier method. It is proposed

Floquet theory and non-linear perturbati

Floquet theory and non-linear perturbation analysis for oscillators with differential-algebraic equations

✍ Demir, Alper 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

Oscillators are key components of electronic systems. In RF communication systems, they are used for frequency translation of information signals and for channel selection, and in digital electronic systems, they are used as a time reference, i.e. a clock signal, in order to synchronize operations.