1. Bhery, A., Hagihara, S., Yonezaki, N.: A new deduction system of cryptographic primitives and their security properties. Information Processing Society of Japan (IPSJ 2003), SIG technical reports vol. 2003(74) (2003)
2. Bhery, A., Hagihara, S., Yonezaki, N.: Judgment deduction system of asymmetric encryption scheme (JDE-system). In: WISA 2003 proceeding. The 4Th International Workshop on Information Security Applications (WISA 2003), Korea (2003)
3. Bhery, A., Hagihara, S., Yonezaki, N.: A formal system for analysis of cryptographic primitives and their security properties. In: Proceeding of 20th annual conference. Japan Society for Software and Technology (JSST 2003), Japan (2003)
4. Bhery, A., Hagihara, S., Yonezaki, N.: The characterization of cryptographic primitives and their security properties. In: The 2003 International Workshop on Cryptography and Network Security (CANS 2003), USA (DMS 2003) (2003)
5. Pfitzmann, B., Schunter, M., Waidner, M.: Cryptographic security of reactive systems (extended abstract). Electronic Notes in Theoretical Computer Science, vol. 32 (April 2000)