IPSec安全策略形式化技术的研究

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

IPSec安全策略形式化技术的研究

黄俊;韩玲莉

Research on Formal Modeling Technology of IPSec Security Policy

HUANG Jun; HAN Lingli

计算机工程 . 2007, (12): 185 -187 . DOI: 10.3969/j.issn.1000-3428.2007.12.065