Research Output per year
Research Output 1983 2016
2016
21
Citations
(Scopus)
Reliability analysis of healthcare information systems: State of the art and future directions
Gawanmeh, A., Al-Hamadi, H., Al-Qutayri, M., Chin, S. K. & Saleem, K., Apr 15 2016, 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015. Institute of Electrical and Electronics Engineers Inc., p. 68-74 7 p. 7454475Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Reliability analysis
Information Systems
information system
Information systems
Formal methods
2013
Reasoning about delegation and account access in retail payment systems
Chin, S. K. & Older, S. B., 2013, Communications in Computer and Information Science. PART II ed. Vol. 374. p. 99-114 16 p. (Communications in Computer and Information Science; vol. 374, no. PART II).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Electronic commerce
Access control
Internet
2010
Credentials management for high-value transactions
Benson, G., Chin, S. K., Croston, S., Jayaraman, K. & Older, S. B., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6258 LNCS. p. 169-182 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6258 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Transactions
Key Management
Public Key Infrastructure
Authorization
Access Control
1
Citation
(Scopus)
Policy-based design and verification for mission assurance
Chin, S. K., Muccio, S., Older, S. B. & Vestal, T. N. J., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6258 LNCS. p. 125-138 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6258 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Intelligent systems
Intelligent Systems
Access control
Access Control
Engineers
2007
Reasoning about delegation and Account access in retail payment systems
Chin, S. K. & Older, S. B., 2007, Communications in Computer and Information Science. Vol. 1. p. 99-114 16 p. (Communications in Computer and Information Science; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Electronic commerce
Access control
Internet
2005
7
Citations
(Scopus)
A modal logic for role-based access control
Kosiyatrakul, T., Older, S. B. & Chin, S. K., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3685 LNCS. p. 179-193 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3685 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Role-based Access Control
Modal Logic
Access Control
Access control
Higher-order Logic
2003
Outcomes-based assessment as an assurance education tool
Older, S. B. & Chin, S. K., 2003, IFIP Advances in Information and Communication Technology. Springer New York LLC, Vol. 125. p. 179-196 18 p. (IFIP Advances in Information and Communication Technology; vol. 125).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Assurance
Education
Curriculum
Logic
Formal methods
1999
3
Citations
(Scopus)
Formal analysis of a secure communication channel: Secure core-email protocol
Zhou, D. & Chin, S. K., 1999, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1708. p. 758-775 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1708).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Secure Communication
Formal Analysis
Electronic mail
Communication Channels
Electronic Mail
5
Citations
(Scopus)
Formal development of secure Email
Zhou, D., Kuo, J. C., Older, S. B. & Chin, S. K., 1999, Proceedings of the Hawaii International Conference on System Sciences. IEEE Computer Society, p. 132 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Electronic mail
Specifications
Software engineering
Network protocols
Formal verification
3
Citations
(Scopus)
Formal verification of tree-structured carry-lookahead adders
Kim, S. H. & Chin, S. K., 1999, Proceedings of the IEEE Great Lakes Symposium on VLSI. IEEE Computer Society, p. 232-233 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Adders
Specifications
Formal verification
1998
An instruction set process calculus
Chin, S. K. & Kim, J. D., 1998, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1522. p. 451-468 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1522).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Process Calculi
Firmware
Calculus
State Machine
Computer hardware
1997
1
Citation
(Scopus)
Assured VLSI design with formal verification
Kim, J. D. & Chin, S. K., 1997, COMPASS - Proceedings of the Annual Conference on Computer Assurance. Anon (ed.). IEEE Computer Society, p. 13-22 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Theorem proving
Computer aided design
Formal logic
Specifications
Formal verification
Experience extending VLSI design with mathematical logic
Chin, S. K., 1997, Proceedings of the IEEE International Conference on Microelectronic Systems Education, MSE. IEEE Computer Society, p. 11-12 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal logic
Teaching
VLSI circuits
Software design
Curricula
1996
Formal methods applied to secure network engineering
Chin, S. K., Faust, J. & Giordano, J., 1996, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 344-351 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal methods
Authentication
Specifications
Formal specification and verification of the kernel functional unit of the OSI session layer protocol and service using CCS
Barjaktarović, M., Chin, S. K. & Jabbour, K., May 1 1996, Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996. Association for Computing Machinery, Inc, p. 270-279 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal methods
Specifications
Network protocols
Temporal logic
Testing
1
Citation
(Scopus)
Hardware composition with hardware flowcharts and process algebras
Lu, J. Y. J., Kim, J. D. & Chin, S. K., 1996, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 352-364 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Algebra
Hardware
Chemical analysis
Semantics
Mechanization
1995
Extending VLSI design with higher-order logic
Chavan, A., Chin, S. K. & Lu, J. Y., 1995, Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors. Anon (ed.). IEEE Computer Society, p. 85-94 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Schematic diagrams
Macros
Computer aided design
Specifications
Formal verification
7
Citations
(Scopus)
Formal specification and verification of communication protocols using automated tools
Barjaktarovic, M., Chin, S. K. & Jabbour, K., 1995, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 246-253 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Network protocols
Formal methods
Specifications
Model checking
Algebra
Formal verification of serial pipeline multipliers
Kim, J. D. & Chin, S. K., 1995, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 971. p. 229-244 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 971).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal Verification
Multiplier
Pipelines
Temporal logic
Networks (circuits)
Integrating formal methods tools to support system design
Chin, S. K., Faust, J. & Giordano, J., 1995, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. IEEE Computer Society, p. 88-95 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal methods
Systems analysis
Specification languages
Systems engineering
Computer aided design
1994
Generating designs using an algorithmic register transfer language with formal semantics
Lu, J. Y. & Chin, S. K., 1994, Higher Order Logic Theorem Proving and Its Applications - 7th International Workshop, Proceedings. Springer Verlag, Vol. 859 LNCS. p. 316-331 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 859 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Computer simulation languages
Formal Semantics
Field programmable gate arrays (FPGA)
Semantics
Engines
Linking higher order logic to a VLSI CAD system
Lu, J. Y. & Chin, S. K., 1994, Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG 1993, Proceedings. Springer Verlag, Vol. 780 LNCS. p. 199-212 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 780 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Higher-order Logic
Linking
Computer aided design
Computer systems
Cell
9
Citations
(Scopus)
Parallel implementation of BDD algorithms using a distributed shared memory
Parasuram, Y., Stabler, E. & Chin, S. K., 1994, Proceedings of the Hawaii International Conference on System Sciences. Nunamaker, J. F. & Sprague, R. H. J. (eds.). IEEE Computer Society, Vol. 1. p. 16-25 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Binary decision diagrams
Data storage equipment
Computer aided design
Parallel programming
Boolean functions
1
Citation
(Scopus)
Server-process restrictiveness in HOL
Brackin, S. H. & Chin, S. K., 1994, Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG 1993, Proceedings. Springer Verlag, Vol. 780 LNCS. p. 450-463 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 780 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Servers
Server
Semantics
Operational Semantics
Output
1993
Formal specification and verification of OSI session layer protocol using CCS
Barjaktarovic, M., Chin, S. K. & Jabbour, K., 1993, Midwest Symposium on Circuits and Systems. IEEE Computer Society, Vol. 2. p. 1140-1143 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal methods
Network protocols
Specifications
Formal specification
Formal verification
1991
1
Citation
(Scopus)
Implementing and verifying finite-state machines using types in higher-order logic
Chin, S. K. & Birtwistle, G., Jan 1 1991, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. Windley, P. J., Joyce, J. J., Levitt, K. N. & Archer, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 121-129 9 p. 596279. (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal logic
Higher-order Logic
Finite automata
State Machine
Computer aided design
1
Citation
(Scopus)
Verifying arithmetic hardware in higher-order logic
Chin, S. K., Jan 1 1991, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. Windley, P. J., Joyce, J. J., Levitt, K. N. & Archer, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 22-31 10 p. 596268. (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Higher-order Logic
Hardware
Verify
Proof by induction
Simulation
1990
Combining engineering vigor with mathematical rigor
Chin, S. K., 1990, Hardware Specification, Verification and Synthesis: Mathematical Aspects - Mathematical Sciences Institute Workshop, Proceedings. Springer Verlag, Vol. 408 LNCS. p. 152-176 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 408 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Engineering
Higher-order Logic
Multiplier
Verify
Arbitrary
1988
Using higher order logic and functional languages to synthesize correct hardware
Chin, S. K., Stabler, E. P. & Greene, K. J., 1988, Int Conf on Comput Lang 1988 Proc. IEEE Computer Society, p. 396-403 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Hardware
Computer aided design
Specifications
Verifiable and executable theories of design for synthesizing correct hardware
Chin, S. K. & Greene, K. J., 1988, 1988 IEEE Int Conf Comput Des VLSI Comput Process ICCD 88 Proc. IEEE Computer Society, p. 604-610 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Hardware
Computer aided design
Specifications
1986
SYNTHESIS OF DIGITAL DESIGNS BY EQUIVALENCE TRANSFORMATIONS.
Chin, S. K. & Stabler, E. P., 1986, Unknown Host Publication Title. IEEE Computer Society, p. 558-560 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Logic programming
Silicon
1983
HIGHLY DENSE VLSI COMPLEX ARRAY MULTIPLIER.
Shay, H., Gray, D. & Chin, S. K., 1983, Proceedings of the Custom Integrated Circuits Conference. IEEE Computer Society, p. 249-251 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution