共 4 条
- [3] Towards Operational Measures of Computer Security[J] . Bev Littlewood,Sarah Brocklehurst,Norman Fenton,Peter Mellor,Stella Page,David Wright,John Dobson,John McDermid,Dieter Gollmann.Journal of Computer Security . 1993 (2-3)
- [4] Using Model Checking to Analyze Network Vulnerabilities .2 Ritchey R,Ammann P. Proceedings of IEEE Symposium on Security and Privacy . 2000