✦ LIBER ✦

Development of a test suite for the verification of implementations of the IPsec v2 security protocol

✍ Scribed by A. V. Nikeshin; N. V. Pakulin; V. Z. Shnitman

Book ID: 110191000
Publisher: SP MAIK Nauka/Interperiodica
Year: 2011
Tongue: English
Weight: 189 KB
Volume: 37
Category: Article
ISSN: 0361-7688
DOI: 10.1134/s0361768811010038

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Development and Preliminary Implemen

The Development and Preliminary Implementation of a Protocol for the Outpatient Weaning of Milrinone

✍ Patrick, David; Radke, Rebecca; Jaggers, Leslie; Sayegh, Hassan; Corrigan, Victo 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 159 KB

Dividing strategies for the optimization

Dividing strategies for the optimization of a test suite

✍ Tsong Yueh Chen; Man Fai Lau 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 563 KB

Phytoavailability Soil Test: Development

Phytoavailability Soil Test: Development and Verification of Theory

✍ Yang, J. E.; Skogley, E. O.; Georgitis, S. J.; Schaff, B. E.; Ferguson, A. H. 📂 Article 📅 1991 🏛 The American Society of Agronomy 🌐 English ⚖ 288 KB

The Compositional Security Checker: a to

The Compositional Security Checker: a tool for the verification of information flow security properties

✍ Focardi, R.; Gorrieri, R. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 365 KB

A Protocol for the Verification of Acid

A Protocol for the Verification of Acid Generation in 157 nm Lithography

✍ Scaiano, J. C.; Laferriere, Marie; Ivan, Marius G.; Taylor, Gary N. 📂 Article 📅 2003 🏛 American Chemical Society 🌐 English ⚖ 171 KB

Who Needs Inpatient Detox? Development a

Who Needs Inpatient Detox? Development and Implementation of a Hospitalist Protocol for the Evaluation of Patients for Alcohol Detoxification

✍ Stephens, John R.; Liles, E. Allen; Dancel, Ria; Gilchrist, Michael; Kirsch, Jon 📂 Article 📅 2014 🏛 John Wiley and Sons 🌐 English ⚖ 447 KB