rbac与sip体系结合的petri网模型及安全性分析 petri net model and the security analysis of rbac integrated sip system.pdfVIP

第1期 中目鼋；舛譬研雹降譬摹足 V01．3No．1 ofCAEIT Feb．2008 2008年2月 Journal 及安全性分析 覃 嘉，刘 刚，吕玉琴，孙剑锋 (北京邮电大学电子工程学院，北京100876) 摘要：在SIP体系中加入实现RBAC的PMI服务器，可以在增强SIP上开发增值业务灵活性的同 时增强系统的安全性，但与对原有体系的改变可能会带来新的安全性问题，因此有必要对新系统进 行分析以检验其安全性。用Petri网理论对系统进行形式化分析，发现了系统存在易被恶意用户进 行重放攻击的安全隐患，并针对这个漏洞提出了相应的安全解决方案。 关键词：会话初始化协议；基于角色的访问控制；特权管理基础设施；Petri网 中图分类号：TN918．91文献标识码：A 文章编号：1673-5692(2008)ol-083-04 Pet