Вы здесь

Chin S. -K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal Methods for Assuring Security of Protocols 2002 Older S., Chin S. -K. The Computer J. 20.02.2002
СТ Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol 1999 Zhou D., Chin S. -K. Lecture Notes in Computer Science 30.10.1999
СТ Integrating Security into the Curriculum 1998 Irvine C. E., Chin S. -K., Frincke D. Computer 10.02.1999
СТ Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics 1994 Lu J. -Y., Chin S. -K. Lecture Notes in Computer Science 24.11.1994
СТ Server-Process Restrictiveness in HOL 1994 Brackin S. H., Chin S. -K. Lecture Notes in Computer Science 21.06.1994
СТ Linking Higher Order Logic to a VLSI CAD System 1994 Lu J. -Y., Chin S. -K. Lecture Notes in Computer Science 18.06.1994