𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Calgary protocol for bracing of pectus carinatum: a preliminary report

✍ Scribed by Dragan Kravarusic; Bryan J. Dicken; Richard Dewar; James Harder; Philippe Poncet; Mark Schneider; David L. Sigalet

Book ID
116685796
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
105 KB
Volume
41
Category
Article
ISSN
0022-3468

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