𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

✍ Scribed by José Meseguer; Prasanna Thati

Publisher
Springer
Year
2007
Tongue
English
Weight
536 KB
Volume
20
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Separation of crystal violet dyes and it
Separation of crystal violet dyes and its application to pen ink analysis using CZE and MEKC methods
✍ Chun-Min Shih; Ju-Tsung Liu; Bo-Hong Chen; Cheng-Huang Lin 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 963 KB

## Abstract A crystal violet (CV) standard was irradiated under a Hg–Cd lamp for different exposure times to obtain various __N__‐demethylation products. CZE effectively separated the photodegradation products based on molecular weight differences. In contrast, micellar EKC (MEKC), using SDS as the

Stability evaluation of tramadol enantio
Stability evaluation of tramadol enantiomers using a chiral stability-indicating capillary electrophoresis method and its application to pharmaceutical analysis
✍ Ali Mohammadi; Saeed Nojavan; Mohammadreza Rouini; Ali Reza Fakhari 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 297 KB 👁 1 views

## Abstract In this study, a chiral stability‐indicating CE assay was developed for the stability evaluation of tramadol (TR) enantiomers in commercial tablets using maltodextrin as chiral selector. To investigate the stability‐indicating power of the analytical method as well as stability evaluati

Use of circular dichroism in analysis of
Use of circular dichroism in analysis of mixtures of tetracycline and 4-epitetracycline and its application to assay of commercial products
✍ Robert F. Miller; Theodore D. Sokoloski; Lester A. Mitscher; Anthony C. Bonacci; 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 550 KB

Mixtures of tetracycline and 4-epitetracycline were assayed utilizing the large difference in their circular dichroism spectra at 262 nm. The assay was evaluated using synthetic mixtures and applied to the analysis of commercial tetracycline hydrochloride capsules. The results obtained with the newl

HPLC enantioseparation of α,α-diphenyl-2
HPLC enantioseparation of α,α-diphenyl-2-pyrrolidinemethanol and methylphenidate using a chiral fluorescent derivatization reagent and its application to the analysis of rat plasma
✍ Shinsuke Inagaki; Sayuri Taniguchi; Haruo Hirashima; Tatsuya Higashi; Jun Zhe Mi 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 251 KB

## Abstract Enantioseparation of α,α‐diphenyl‐2‐pyrrolidinemethanol (D2PM) and methylphenidate (MPH; Ritalin^®^) using (__R__)‐(−)‐4‐(__N__,__N__‐dimethylaminosulfonyl)‐7‐(3‐isothiocyanatopyrrolidin‐1‐yl)‐2,1,3‐benzoxadiazole as the chiral derivatization reagent has been achieved for the first time