- 博客(1)
- 资源 (4)
- 收藏
- 关注
转载 java、jvm与.net
现在sun已经被oracle收购了!也从侧面验证了作者的一些论断!当然从技术上看,这篇文章也是分析很精辟。反正我自己感觉c很好用,java以及所谓的OO更多是一些概念。Java在自取灭亡 一个比较Java语言发展的讨论贴,非常精辟深刻,从语言的设计到系统架构的策略。Java是开源了,但是它的发展策略似乎是一
2009-05-12 10:33:00 3589 1
基于进程演算的安全协议形式化研究
国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法,基于定理证明的方法和基于进程演算的方法三种。其中,进程演算对于协议的描述几乎接近协议的本身含义,可以很精确地刻划协议的运行过程。使用进程演算对安全协议分析和验证时,协议的每一个主体都被建模为一个单独的进程,这些子进程并发运行,并使用进程之间的共享通道进行同步通信,这样得到的并发系统将作为安全协议的基本模型。
2009-11-19
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人