公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
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 | | | |
1998 | A Secure and Robust Scheme for Mobile Agents | Lei, C. L.; Chang, C. H.; Z. Chen; P. L. Tsai | Proceedings of the International Symposium on Internet Technology | | | |
1993 | A Secure Broadcasting Mechanism in Distributed Systems | Liaw, H. T.; Lei, C. L. | The Third Conference on Information Security | | | |
1997 | Secure Rewarding Schemes | Fan, C. I.; Lei, C. L. | Proceedings of the 30th Annual Hawaii International Conference on System Sciences | | | |
1998 | Security and Auditing in VPN and its Trends | Lei, C. L. | Proceedings of the 1998 Computer Communications Technologies conference | | | |
1997 | Security Management for ATM Networks | Lei, C. L. | | | | |
2005 | The Security of Mobile E-Commerce | Lei, C. L.; Fan, Chun-I | | | | |
2001 | Smart Card Payment Today and Tomorrow | Lei, C. L.; Yin, C. E. | Information Security Newsletter | | | |
1995 | Synchronization and Consistency in Distributed Shared Memory with Applications | Lei, C. L. | | | | |
1996 | Synchronization and Consistency in Distributed Shared Memory with Applications (II) | Lei, C. L. | | | | |
1997 | Synchronization and Consistency in Distributed Shared Memory with Applications (III) | Lei, C. L. | | | | |
1985 | Temporal Model Checking under Generalized Fairness Constraints | Emerson, E. A.; Lei, C. L. | Proceedings of the 18th Annual Hawaii International Conference on System Sciences | | | |