有限状态自动机(FSM)相关论文
针对会话类E-Service的会话完整性对环境提出的更多限制以及由此导致的行为差异，给出了对接口环境的严格定义和接口兼容检查的精确......
针对密码协议在实际运行中遭受攻击的问题，设计了自适应容忍入侵的密码协议安全运行防护系统。该防护系统主要由入侵检测模块和容忍......
考虑到协议一致性测试中基于扩展有限状态自动机（EFSM）模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题，提出了一种面向协......
