[1]Meadows C A. Applying formal methods to the analysis of a key management protocol[J]. Journal of Computer Security, 1992, 1(1): 535[2]Bau J, Mitchell J C. Security modeling and analysis[J]. Security and Privacy, 2011, 9(3): 1825[3]Cheng J, Miura J. Deontic relevant logic as the logical basis for specifying, verifying, and reasoning about information security and information assurance[C] Proc of the 1st Int Conf on Availability, Reliability and Security. Los Alamitos, CA: IEEE Computer Society, 2006: 601608[4]Wagatsuma K, Goto Y, Cheng J. A formal analysis method with reasoning for key exchange protocols[J]. IPSJ Journal, 2015, 56(3): 903910[5]Yan J, Wagatsuma K, Gao H, et al. A formal analysis method with reasoning for cryptographic protocols[C] Proc of the 12th Int Conf on Computational Intelligence and Security. Los Alamitos, CA: IEEE Computer Society, 2016: 566570[6]Paulson L C. Proving properties of security protocols by induction[C] Proc of Computer Security Foundations Workshop. Piscataway, NJ: IEEE, 1997: 7083[7]Clarke E M, Grumberg O, Peled D. Model Checking[M]. MIT Press, 1999[8]Cheng J. A strong relevant logic model of epistemic processes in scientific discovery[J]. Information Modelling and Knowledge Bases XI, 2000 (61): 136159[9]Cheng J. Strong relevant logic as the universal basis of various applied logics for knowledge representation and reasoning[J]. Frontiers in Artificial Intelligence and Applications, 2006 (136): 310320[10]程京德. 相关推论与强相关逻辑[J]. 科技导报, 2016, 34(7): 3947[11]Cheng J, Nara S, Goto Y. FreeEnCal: A forward reasoning engine with generalpurpose[G] LNCS 4693. Berlin: Springer, 2007: 444452[12]National Institute of Information and Communications Technology. National Institute of Information and Communications Technology[OL]. (20150930) [20170306]. http:cryptoprotocol.nict.go.jp[13]Dolev D, Yao A C. On the security of public key protocols[J]. IEEE Trans on Information Theory, 1983, 29(2): 198208[14]Schneier B. Applied Cryptography: Protocols, Algorithms, and Source Code in C[M]. 2nd. New York: John Wiley & Sons, 1996
|