排序方式: 共有3条查询结果,搜索用时 93 毫秒
1
1.
2.
可靠性和容错是移动代理系统实现的重要条件.基于Bounded Failure Rate假设,利用合作Agent及被动复制措施提出了一种适于大规模网络环境下检测与恢复拜占庭故障的高可用性的容错机制,该机制确保了Non-blocking和Exactly-once两个原则的贯彻.重点讲述了绝大部分Agent故障现象的检测与恢复. 相似文献
3.
基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求. 相似文献
1