排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
安全多方计算在密码学中拥有相当重要的地位,是近几年国际密码界研究的热点问题.文中主要是对安全双方计算的密钥协商方案中的方案进行了改进,提出了3种改进方案,即使窃听者获得与接收方完全一样的数据,此3种方案都是安全的. 相似文献
2.
生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性。 相似文献
3.
生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约.文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测.同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约.ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性. 相似文献
1