Shiu Kai Chin

Research output

Research output per year 1983 2016

• 139 Citations
• 6 h-Index
• 32 Conference contribution
• 7 Article
• 1 Book
• 1 Chapter

Research output per year

Research output per year

Search results

• 2016

  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. 7454475

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Information Systems
  • Reliability analysis
  • information system
  • Information systems
  • Healthcare
  24 Scopus citations
• 2013

  Reasoning about delegation and account access in retail payment systems

  Chin, S. K. & Older, S., Jan 1 2013, HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings. PART II ed. Springer Verlag, 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., 2010, Computer Network Security - 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, Proceedings. 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
  • Policy
  • Public Key Infrastructure
  • Authorization

• Policy-based design and verification for mission assurance

  Chin, S. K., Muccio, S., Older, S. & Vestal, T. N. J., 2010, Computer Network Security - 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, Proceedings. 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
  • Access Control
  • Intelligent systems
  • Policy
  • Integrity
  1 Scopus citations
• 2007

  Reasoning about delegation and Account access in retail payment systems

  Chin, S. K. & Older, S., Dec 1 2007, Computer Network Security - Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007, Proceedings. 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

  A modal logic for role-based access control

  Kosiyatrakul, T., Older, S. & Chin, S. K., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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
  • Access Control
  • Modal Logic
  • Access control
  • Delegation
  7 Scopus citations
• 2003

  Outcomes-based assessment as an assurance education tool

  Older, S. & Chin, S. K., 2003, Security Education and Critical Infrastructures - IFIP TC11/WG11.8 3rd Annual World Conference on Information Security Education, WISE 3. Springer New York LLC, 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
  • Educational Outcomes
  • Formal Methods
• 1999

  Formal analysis of a secure communication channel: Secure core-email protocol

  Zhou, D. & Chin, S. K., 1999, FM 1999 – Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. Wing, J. M., Woodcock, J. & Davies, J. (eds.). Springer Verlag, 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
  • Electronic Mail
  • Communication Channels
  • Formal Analysis
  • Secure communication
  3 Scopus citations

• 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
  • Formal verification
  • Formal specification
  • Software engineering
  5 Scopus citations

• Formal verification of tree-structured carry-lookahead adders

  Kim, S. H. & Chin, S. K., Dec 1 1999, Proceedings of the IEEE Great Lakes Symposium on VLSI. IEEE Computer Society, p. 232-233 2 p. (Proceedings of the IEEE Great Lakes Symposium on VLSI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Formal verification
  • Adders
  • Specifications
  3 Scopus citations
• 1998

  An instruction set process calculus

  Chin, S. K. & Kim, J. D., 1998, Formal Methods in Computer-Aided Design - 2nd International Conference, FMCAD 1998, Proceedings. Gopalakrishnan, G. & Windley, P. (eds.). Springer Verlag, 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
  • State Machine
  • Calculus
  • Algebra
• 1997

  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

  • Formal verification
  • Theorem proving
  • Computer aided design
  • Formal logic
  • Specifications
  1 Scopus citations

• 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
  • Curricula
  • Software design
• 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 specification
  • Formal verification
  • Formal methods
  • Network protocols
  • Specifications

• 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
  • Chemical analysis
  • Computer hardware
  • Semantics
  • Mechanization
  1 Scopus citations
• 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

  • Formal verification
  • Schematic diagrams
  • Electric properties
  • Macros
  • Computer aided design

• 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

  • Formal specification
  • Formal verification
  • Network protocols
  • Formal methods
  • Specifications
  7 Scopus citations

• 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
  • Formal verification
  • Multiplier
  • Pipelines
  • Temporal Logic

• 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. Melham, T. F. & Camilleri, J. (eds.). Springer Verlag, 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

  • Formal Semantics
  • Computer simulation languages
  • Formal languages
  • Field programmable gate arrays (FPGA)
  • Language

• 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
  • Cell
  • Libraries

• Parallel implementation of BDD algorithms using a distributed shared memory

  Parasuram, Y., Stabler, E. & Chin, S. K., Jan 1 1994, Proceedings of the Hawaii International Conference on System Sciences. Nunamaker, J. F. & Sprague, R. H. J. (eds.). IEEE Computer Society, p. 16-25 10 p. (Proceedings of the Hawaii International Conference on System Sciences; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Binary decision diagrams
  • Data storage equipment
  • Computer aided design
  • Logic Synthesis
  • Boolean functions
  9 Scopus citations

• 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. Joyce, J. J. & Seger, C-J. H. (eds.). Springer Verlag, 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

  • Server
  • Servers
  • Language
  • Semantics
  • Operational Semantics
• 1993

  Formal specification and verification of OSI session layer protocol using CCS

  Barjaktarovic, M., Chin, S. K. & Jabbour, K., Dec 1 1993, Midwest Symposium on Circuits and Systems. IEEE Computer Society, p. 1140-1143 4 p. (Midwest Symposium on Circuits and Systems; vol. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Formal specification
  • Formal verification
  • Formal methods
  • Network protocols
  • Specifications
• 1991

  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. Archer, M., Joyce, J. J., Levitt, K. N. & Windley, P. J. (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
  • State Machine
  • Finite automata
  • Computer aided design
  1 Scopus citations

• 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. Archer, M., Joyce, J. J., Levitt, K. N. & Windley, P. J. (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
  • Design
  • Computer hardware
  • Verify
  1 Scopus citations
• 1990

  Combining engineering vigor with mathematical rigor

  Chin, S. K., 1990, Hardware Specification, Verification and Synthesis: Mathematical Aspects - Mathematical Sciences Institute Workshop, Proceedings. Leeser, M. & Brown, G. (eds.). Springer Verlag, 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
  • Design
  • Higher-order Logic
  • Multiplier
  • Verify
• 1988

  Using higher order logic and functional languages to synthesize correct hardware

  Chin, S. K., Stabler, E. P. & Greene, K. J., Dec 1 1988, Int Conf on Comput Lang 1988 Proc. IEEE Computer Society, p. 396-403 8 p. (Int Conf on Comput Lang 1988 Proc).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Computer hardware
  • Computer aided design
  • Specifications

• Verifiable and executable theories of design for synthesizing correct hardware

  Chin, S. K. & Greene, K. J., Dec 1 1988, 1988 IEEE Int Conf Comput Des VLSI Comput Process ICCD 88 Proc. IEEE Computer Society, p. 604-610 7 p. (1988 IEEE Int Conf Comput Des VLSI Comput Process ICCD 88 Proc).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Computer hardware
  • Computer aided design
  • Specifications
• 1986

  SYNTHESIS OF DIGITAL DESIGNS BY EQUIVALENCE TRANSFORMATIONS.

  Chin, S. K. & Stabler, E. P., Dec 1 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