Fluorine Chemistry || Metallic Compounds Containing Fluorocarbon Radicals and Organometallic Compounds Containing Fluorine
- 作者EMELÉUS, H.J.
- 文件大小643.71KB
- 发表时间1954
- DOI10.1016/B978-0-12-395575-3.50010-5
- 页码321-332
Mechanizing set theoryLawrence C. Paulson; Krzysztof Grabczewski · 1996
Book reviewsM. D. Atkinson; David Lester; Lawrence C. Paulson · 1992
Verifying the SET Purchase ProtocolsGiampaolo Bella; Fabio Massacci; Lawrence C. Paulson · 2006
PrefaceBernhard Beckert; Lawrence C. Paulson · 2007
Verifying the unification algorithm in LCFLawrence C. Paulson · 1985
Accountability protocolsBella, Giampaolo; Paulson, Lawrence C. · ACM Transactions on Information and System Security · 2006
Defining functions on equivalence classesPaulson, Lawrence C. · ACM Transactions on Computational Logic · 2006
Mechanizing UNITY in IsabellePaulson, Lawrence C. · ACM Transactions on Computational Logic · 2000
SDAPYang, Yi; Wang, Xinran; Zhu, Sencun; Cao, Guohong · ACM Transactions on Information and System Security · 2008
APSSZhou, Lidong; Schneider, Fred B.; Van Renesse, Robbert · ACM Transactions on Information and System Security · 2005
Accountability protocolsBella, Giampaolo; Paulson, Lawrence C. · ACM Transactions on Information and System Security · 2006
CPMPhilippaerts, Pieter; Younan, Yves; Muylle, Stijn; Piessens, Frank; Lachmund, Sven; Walter, Thomas · ACM Transactions on Information and System Security · 2013
Return-Oriented ProgrammingRoemer, Ryan; Buchanan, Erik; Shacham, Hovav; Savage, Stefan · ACM Transactions on Information and System Security · 2012
Efficient Attributes for Anonymous CredentialsCamenisch, Jan; Groß, Thomas · ACM Transactions on Information and System Security · 2012
BlueBoXChari, Suresh N.; Cheng, Pau-Chen · ACM Transactions on Information and System Security · 2003
Split-ballot votingMoran, Tal; Naor, Moni · ACM Transactions on Information and System Security · 2010