A Formal Model for Attack Mutation Using Dynamic Description Logics.

Wed, 01 Jan 2014 00:00:00 +0100

Zhuxiao Wang, Jing Guo, Jin Shi, Hui He, Ying Zhang, Hui Peng, Guanhua Tian:
A Formal Model for Attack Mutation Using Dynamic Description Logics. IIP 2014: 303-311