[IEEE 2008 6th IEEE International Conference on Industrial Informatics (INDIN) - Daejeon, South Korea (2008.07.13-2008.07.16)] 2008 6th IEEE International Conference on Industrial Informatics - Adaptive optimization in A/D converter system
- 作者Ce Fu, ; Hui Wang,
- 文件大小148.27KB
- 发表时间2008
- DOI10.1109/indin.2008.4618177
- 页码627-630
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