公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1998 | An Efficient Divisible Blind Signature Scheme | Fan, C. I.; Lei, C. L.; C. Y. Chang; Yu, P. L. | Proceedings of the 8th Conference on Information Security | | | |
1997 | Efficient Fair Blind Signatures for Electronic Cash | Fan, C. I.; Lei, C. L. | Proceedings of National Computer Symposium 1997 | | | |
1986 | Efficient Model Checking in Fragments of the Propositional Mu-Calculus | Emerson, E. A.; Lei, C. L. | IEEE Symposium on Logic in Computer Science | | | |
1997 | Fair Blind Threshold Signatures Based on Discrete Logarithm | Juang, W. S.; Lei, C. L. | Proceedings of National Computer Symposium 1997 | | | |
2001 | Fairness in E-cash Systems | Chen, H. J.; Lei, C. L.; Yu, P. L. | Information Security Newsletter | | | |
1994 | The Formalization and Hierarchy of Memory Consistency Models | Lai, I. C.; Lei, C. L. | International Computer Symposium | | | |
1996 | A High Performance Dynamic Token-Based Distributed Synchronization Algorithm | Lai, I. C.; Lei, C. L. | Proceedings of the 1997 International Symposium on Parallel Architectures, Algorithms and Networks | | | |
1998 | Improving Dynamic Token-Based Distributed Synchronization Performance via Optimistic Broadcasting | Lai, I. C.; Lei, C. L. | Proc. 2nd International Workshop on Communication, Architecture, and Applications for Network-based Parallel Computing, _TTS.PUBLISHPLACE | | | |
1989 | An Interval Logic for Reasoning about Timing Properties of Computer Communication Protocols | Shen, M.; Lei, C. L.; Chang, C. C. | 27th Allerton Conf. on Communication, Control, and Computing | | | |
1996 | A Java Security Model Based on Information Flow Control | Lei, C. L.; C. Y. Chang; Juang, W. S. | Proceedings of International Conference on Cryptology and Information Security | | | |
1997 | Low Computation Partially Blind Signatures for Electronic Cash | Lei, C. L.; Fan, C. I. | Proceedings of National Computer Symposium 1997 | | | |
1985 | Modalities For Model Checking: Branching Time Strikes Back | Emerson, E. A.; Lei, C. L. | 12th Annual Symposium on Principles of Programming Languages | | | |
1984 | Model Checking under Generalized Fairness Constraintx | Emerson, E. A.; Lei, C. L. | | | | |
1986 | Model Checking in the Propositional Mu-Calculus | Emerson, E. A.; Lei, C. L. | | | | |
1996 | A Multi-Recastable Ticket Scheme for Electronic Elections | Fan, C. I.; Lei, C. L. | Advances in Cryptology - Asiacrypt'96, Lecture Notes in Computer Science 1163 | | | |
1993 | A New Consistency Protocol for Distributed Shared Memory | Lai, I. C.; Lei, C. L. | National Computer Symposium | | | |
1995 | Remote Data Prefetching on Network of Workstations | Lai, I. C.; Lei, C. L. | Workshop on High Performance Multiprocessor Systems | | | |
1995 | Research on Database, Network and Image Processing in Medical Applications | Lei, C. L. | | | | |
1996 | Research on Open Intelligent E-mail System and its Security Issues | Lei, C. L. | | | | |
1996 | Secure and Practical Electrical Voting Scheme for Real World Environments | Juang, W. S.; Lei, C. L. | Proceedings of the 6th Conference on Information Security | | | |