SQLite 线程安全和并发
SQLite与线程SQLite 是线程安全的。线程模型SQLite 支持如下三种线程模型单线程模型 这种模型下，所有互斥锁都被禁用，同一时间只能由一个线程访问。多线程模型 这种模型下，一个连接在同一时间内只有一个线程使用就是安全的。串行模型开启所有锁，可以随意访问。设置线程模型S...
JAVA中的线程安全与非线程安全
转自http://blog.csdn.net/xiao__gui/article/details/8934832线程安全就是多线程访问时，采用了加锁机制，当一个线程访问该类的某个数据时，进行保护，其他线程不能进行访问直到该线程读取完，其他线程才可使用。不会出现数据不一致或者数据污染。线程不安全就是不提供数据访问保护，有...
《安全形式化分析理论与应用研究》------总结
1、最早提出对安全协议形式化分析思想的是Needham和Schroeder[8] 1978年他们为进行共享和公钥的认证的认证服务系统的实现建立了安全协议即Needham-Schroeder安全协议，（简称NS安全协议）这个协议在信息安全领域产生了深远的影响，引发了安全协议领域的许多重要问题的研究，这个协议最初...
信息安全面试题（二）
1、ssh SecureShell的缩写，DDOS分布式决绝服务（DDOS：DistributedDenialofservice）攻击，借助客户端和服务器技术，将多个极端及联合起来作为攻击平台，对一个或者多个目标发动DDOS攻击，从而成倍的提高拒绝服务攻击等能力，攻击者使用一个偷窃账号...
Scyther-Compromise 协议形式化安全分析如何改进协议
1、最终的目的是如何将协议的不安全因素进行改进，提升安全性能。对协议中有关的加密和认证的过程进行形式化分析验证的时候通过添加敌手模型的（DY模型和eCK强安全模型），接受者和发送者之间的通信过程可能存在被攻击者干扰，即就是存在攻击输出。那么我们的目的就不光光是验证了现有协议确实在哪一个方面确实存在攻击点位。而是通过对协...
《安全协议形式化分析工具比较与研究 》-------摘抄整理
Scyther软件是瑞士苏黎世大学CassCremers开发的形式化分析工具，该工具对于无限会话以及无限状态集合的协议可以给出明确的终止，并且支持多协议的并行分析，Scyther系列的工具包括Scyther和Scyther-Compromise（在我得论文中使用的是Scyther-Comprom...