safety extended deterministic finite automata
结果提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA)。在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的...
基于4个网页-相关网页
safety extended deterministic finite automata
安全扩展确定性有限自动机
以上为机器翻译结果，长、整句建议使用 人工翻译 。