We present in this paper the development of a decision procedure for affine plane geometry in the Coq proof assistant. Among the existing decision methods, we have chosen to implement one based on the area method developed by Chou, Gao and Zhang, which provides short and “readable” proofs for geometry theorems. The idea of the method is to express the goal to be proved using three geometric qua...

Recently Manik et al. [13] proposed a novel remote user authentication scheme using bilinear pairings. Chou et al. [14] identified a weakness in Manik et al.’s scheme and made an improvement. In this paper, we show that both Manik et al.’s and Chou et al.’s schemes are insecure against forgery attack and replay attack.

Yu-Cheng Lin, Po-Chien Chou, Kuan-Chou Hou, Stone Cheng, Jin-Chern Chiou, Hsi-Fu Shih Department of Mechanical Engineering, National Chiao Tung University, Hsinchu 30010, Taiwan Institution of Electrical and Control Engineering, National Chiao Tung University, Hsinch 30010, Taiwan School of Medicine, China Medical University, Taichung 40402, Taiwan Mechanical Engineering Department, National Ch...

A novel computerized program has been developed for predicting the secondary structure of proteins from their amino acid sequences. The scheme of the Chou and Fasman method (1978, Adv. Enzymol. Relat. Subj. Biochem. 47, 45-148) is closely followed. Some of their qualitative rules have been converted to numeric scales to obtain unambiguous predictions. This program has been tested on 21 proteins...