这个是全国SIS年会上第一次关于sis安全的讨论，是一个ppt。这个需要付费才能买到的。
上传时间： 2014-01-15
上传用户：change0329
提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
上传时间： 2015-11-08
上传用户：jeffery
：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。
上传时间： 2015-11-09
上传用户：zhangjinzj
网络安全开发包全解一书的源代码，希望对大家有所帮助
上传时间： 2014-10-12
上传用户：cjf0304
epoll机制的收发程序 只能在2.6内核上使用
上传时间： 2015-11-09
上传用户：zhliu007
这个是关于安全邮件的,如果哪位有需要就下了吧!希望对大家有用
标签： 家
上传时间： 2013-12-26
上传用户：lz4v4
关于网络安全的课件,如果有需要的话欢迎大家下载哦,这也是我们老师做的课件
上传时间： 2014-01-14
上传用户：赵云兴
symbian平台上多任务处理机制：多线程和Active
上传时间： 2015-11-10
上传用户：lanwei
可以用于电脑安全的管理，非常方便和有效，在日常运用中很使用
标签： 电脑
上传时间： 2015-11-11
上传用户：vodssv
哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。 假设有5个哲学家，他们花费一生中的时光思考和吃饭。这些哲学家共用一个圆桌，每个哲学家都有一把椅子。在桌子中央是一碗通心面，在桌子上放着5只筷子。（如图所示）当一个哲学家思考时，他与其他同事不交互。时而，哲学家会感到饥饿，并试图拿起与他相近的两只筷子（他与邻近左、右之间的筷子）。一个哲学家一次只能拿起一只筷子。显然，他不能从其他哲学家手里拿走筷子。当一个饥饿的哲学家同时有两只筷子时，他就不能不用释放他的筷子而自己吃了。当吃完后，他会放下两只筷子，并再次开始思考。 规定奇数号哲学家先拿他左边的筷子，然后再去拿右边的筷子；而偶数号哲学家则相反。按此规定，将是1、 2号哲学家竞争1号筷子；3、4号哲学家竞争3号筷子。即五位哲学家都先竞争奇数号筷子，获得后，再去竞争偶数号筷子，最后总会有一位哲学家能获得两只筷子而进餐。
上传时间： 2013-12-10
上传用户：zhangzhenyu
