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
Article
2014
4 Citations (Scopus)

Banking on interoperability: Secure, interoperable credential management

Benson, G., Chin, S. K., Croston, S., Jayaraman, K. & Older, S. B., Jul 4 2014, In : Computer Networks. 67, p. 235-251 17 p.

Research output: Contribution to journalArticle

Interoperability
Industry
Formal logic
Scalability
Websites
2012

Engineering Assurance at the Undergraduate Level

Irvine, C., Yasinsac, A., Older, S. B. & Chin, S. K., 2012, In : IEEE Security and Privacy. 10, 6, p. 74-77 4 p.

Research output: Contribution to journalArticle

engineering
2003
2 Citations (Scopus)
Higher-order Logic
Distributed Control
Calculi
Access Control
Access control
2002
6 Citations (Scopus)

Formal methods for assuring security of protocols

Older, S. B. & Chin, S. K., 2002, In : Computer Journal. 45, 1, p. 46-54 9 p.

Research output: Contribution to journalArticle

Formal methods
Network protocols
1999
7 Citations (Scopus)

High-Confidence Design for Security

Chin, S. K., 1999, In : Communications of the ACM. 42, 7, p. 33-37 5 p.

Research output: Contribution to journalArticle

1998
40 Citations (Scopus)

Integrating security into the curriculum

Irvine, C. E., Chin, S. K. & Frincke, D., Dec 1998, In : Computer. 31, 12, p. 25-30 6 p.

Research output: Contribution to journalArticle

Curricula
Accreditation
Security of data
Computer science
Students
1990
4 Citations (Scopus)

Synthesis of arithmetic hardware using hardware metafunctions

Chin, S. K. & Stabler, E. P., Aug 1990, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 9, 8, p. 793-803 11 p.

Research output: Contribution to journalArticle

Hardware
Formal logic
Adders
Substitution reactions
Specifications