𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Abstract Interpretation for Proving Secrecy Properties in Security Protocols

✍ Scribed by K. Adi; M. Debbabi

Book ID
104444652
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
475 KB
Volume
55
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

ChemInform Abstract: A Useful, Reliable
ChemInform Abstract: A Useful, Reliable and Safer Protocol for Hydrogenation and the Hydrogenolysis of O-Benzyl Groups: The in situ Preparation of an Active Pd0/C Catalyst with Well-Defined Properties.
✍ Francois-Xavier Felpin; Eric Fouquet πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons βš– 46 KB πŸ‘ 1 views

## Abstract A convenient protocol for Pd‐catalyzed hydrogenation of olefins as well as reductive debenzylation is presented.