✦ LIBER ✦

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

✍ Scribed by John C. Mitchell; Ajith Ramanathan; Andre Scedrov; Vanessa Teague

Book ID: 108281145
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 528 KB
Volume: 353
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.10.044

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Probabilistic Polynomial-time Calculus

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols: (Preliminary Report)

✍ J. Mitchell; A. Ramanathan; A. Scedrov; V. Teague 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 294 KB

We describe properties of a process calculus that has been developed for the purpose of analyzing security protocols. The process calculus is a restricted form of π-calculus, with bounded replication and probabilistic polynomial-time expressions allowed in messages and boolean tests. In order to avo

A Probabilistic Scheduler for the Analys

A Probabilistic Scheduler for the Analysis of Cryptographic Protocols

✍ Srečko Brlek; Sardaouna Hamadou; John Mullins 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 446 KB

A polynomial time validation method for

A polynomial time validation method for channel boundedness of communication protocols (2 processes)

✍ Tomohisa Suganuma; Kaoru Kurosawa; Ni Yongmao 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 435 KB

A probabilistic model for the analysis o

A probabilistic model for the analysis of the routing process for circuits

✍ P. Agrawal; M. A. Breuer 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 784 KB

## Abstract A probabilistic model is developed for studying the problem of routing printed circuits. The model, which uses the density of blockages on the carrier as a parameter, is based on the path‐searching mechanism of Lee's algorithm. Lee's algorithm is used in our analysis because it belongs

The design and time analysis of a systol

The design and time analysis of a systolic array with asynchronous protocols for matrix multiplication

✍ Moon S. Jun; Shietung Peng 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 779 KB

A HYBRID FORMULATION FOR THE ANALYSIS OF

A HYBRID FORMULATION FOR THE ANALYSIS OF TIME-PERIODIC LINEAR SYSTEMS VIA CHEBYSHEV POLYNOMIALS

✍ E.A. Butcher; S.C. Sinha 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 239 KB

## 1.  Recently several studies (see e.g. references [1,2]) have been reported in which the solutions of both constant and time-varying systems are expressed in terms of Chebyshev polynomials. The first applications of orthogonal polynomials to differential equations with periodic coeff