If you made any changes in Pure, your changes will be visible here soon.

Research Output 1983 2016

  • 130 Citations
  • 6 h-Index
  • 32 Conference contribution
  • 7 Article
  • 1 Book
  • 1 Chapter
Filter
Conference contribution
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. 7454475

Research output: Chapter in Book/Report/Conference proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution