概率进程代数相关论文
网络安全研究的一个重要理论基础是安全评价,特别是定量刻画网络系统的安全性,评价安全机制保证的安全程度,这是从理论上指导构建......
在过去的十几年里,大多数研究主要集中在用进程代数对系统进行功能分析,很少涉及性能评价。一般的进程代数没有考虑概率,只能描述......
随着软件系统的日趋庞大和复杂,软件可信性问题越来越得到人们的关注.软件的可信性是在软件的正确性、可靠性、安全性等众多属性基......
