共 8 条
[1]
An Automated Validation Method for Security Policies: the firewall case
[J].
FOURTH INTERNATIONAL SYMPOSIUM ON INFORMATION ASSURANCE AND SECURITY, PROCEEDINGS,
2008,
:291-294
[2]
Abbassi R., 2009, INT J WIRELESS MOBIL, V1
[3]
Fraser B., 1997, Site Security Handbook
[4]
Holzmann GJ, 1991, DESIGN VALIDATION CO
[6]
Lindsay P. A., 1997, 9705 SOFTW VER RES C
[7]
PROVING LIVENESS PROPERTIES OF CONCURRENT PROGRAMS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1982, 4 (03)
:455-495
[8]
[No title captured]