Formal reasoning about intrusion detection systems /
by Tao Song.

Description

Tools

Cite this Export citation file

Main Author: Song, Tao.
Language(s): English
Published: 2005.
Subjects: Dissertations, Academic > Dissertations, Academic / University of California, Davis > Dissertations, Academic / University of California, Davis / Computer Science.
Note: Dissertation completed in 2005; degree granted in 2007.
Degree granted in Computer Science.
Physical Description: 193 leaves : ill.
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

Song Tao xuan ji.

Author: Song, Tao.
Published: 2004

"Zi ben lun" ci dian

Author: Song, Tao.
Published: 1988

Zheng zhi jing ji xue

Author: Song, Tao
Published: 1983

Jing ji gai ge ming ci jie shi

Author: Li, Chengxun, 1934-
Published: 1900

Xian dai Zhongguo dui wai jing ji guan xi li lun yu shi jian

Author: Zeng, Jie
Published: 1989

Zheng zhi jing ji xue jiao cheng

Author: Zhang Chaozun.
Published: 1982

Zhi wu fan zui di fa lü dui ce ji zhi li

Author: Wang, Shuangrong
Published: 1994

Hangzhou ming ren ming ju

Author: Song, Tao.
Published: 2006

Laser-plasma interactions

Author: Scottish Universities Summer School in Physics (60th : 2005 : St. Andrews, Scotland)
Published: 2009

Journal of vacuum science & technology. A, An international journal devoted to vacuum, surfaces, and films : JVST A

Author: American Institute of Physics
Published: 2003