共 22 条
[1]
[Anonymous], 2004, INTRO COMPUTER SECUR
[2]
Clarke EM, 1999, MODEL CHECKING, P1
[5]
*FED, FED SELINUX
[6]
Gao J., 2003, TESTING QUALITY ASSU
[7]
An approach for understanding and testing third party software components
[J].
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2002 PROCEEDINGS,
2002,
:293-299
[9]
An approach to specify and test component-based dependable software
[J].
7TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS,
2002,
:211-220