搜索筛选:
搜索耗时0.0839秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：丁一强,
来源：软件学报 年份：1999
加密协议的分析需要形式化的方法和工具，该文定义了加密协议描述语言ＰＥＰ（ｐｒｉｎｃｉｐａｌｓ＋ｅｎｖｉｒｏｎｍｅｎｔ＝ｐｒｏｔｏｃｏｔｌ），并说明对于一类加密协议，其ＰＥＰ描述可以转化为有穷的基本ＣＣＳ进程，由此可以在基于ＣＣＳ的ＣＷＢ（ｃｏｎｃｕｒｒｅｎｃｙｗｏｒｋｂｅｎｃｈ）工具中分析加密协议的性质，此方法......
[期刊论文] 作者：丁一强,
来源：软件学报 年份：2004
加密协议的分析需要形式化的方法和工具.该文定义了加密协议描述语言PEP (principals+environment=protocol),并说明对于一类加密协议,其PEP描述可以转化为有穷的基本CCS进程...
[期刊论文] 作者：丁一强,
来源：Journal of Computer Science and Technology 年份：1999
1IntroductionInthecurrentopennetworkenvironment,communicationsbetWeenprincipals(users,hostsorprocesses)arefragile.Thepotentialattackerscaneasilyilltercept,repla...
[学位论文] 作者：丁一强,
来源：中国科学院软件研究所 年份：1999
该论文中,作者使用模型检查(model checking)方法来形式化地分析安全协议中认证协议的性质,目的是帮助协议设计和分析人员发现认证协议中隐藏的漏洞....
[期刊论文] 作者：宋方敏,丁一强,
来源：计算机学报 年份：1996
本文给出了Ｍａｒｔｉｎ－Ｌｏｆ表达式元性理论的形式系统，并证明了它的弱标准化定理。...
相关搜索：
