计算机应用与软件2023，Vol.40Issue(6)：77-82,180,7.DOI:10.3969/j.issn.1000-386x.2023.06.013
RSSP-Ⅱ协议消息鉴定层的形式化描述及验证
FORMAL DESCRIPTION AND VERIFICATION OF MESSAGE AUTHENTICATE SAFETY LAYER IN RSSP-Ⅱ
摘要
关键词
RSSP-Ⅱ/消息鉴定层/实体对等认证/消息源认证/有色Petri网分类
信息技术与安全科学引用本文复制引用
徐倩,林俊亭..RSSP-Ⅱ协议消息鉴定层的形式化描述及验证[J].计算机应用与软件,2023,40(6):77-82,180,7.基金项目
国家自然科学基金项目(61963023). （61963023）
