基于应用Pi演算的WTLS握手协议建模与分析

针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。并在密码原语定义的基础上建立了WTLS握手协议的形式化模型,最后用Pro Verif工具分析了协议的秘密性和认证性。结果表明WTLS握手协议满足其安全性说明。     

密码协议的秘密性证明

在Paulson的归纳方法基础上提出一种新的密码协议秘密性的证明方法，该方法在消息事件结构中引入会话标识符，给出协议满足秘密性的充要条件，大大简化了协议秘密性的证明，高效且适合机械化实现。     

商业秘密的确认和保护（一）

本文从商业秘密的侵权现象引出商业秘密的重要性和紧迫性．然后分别从三个方面．即世界和我国商业秘密保护简况：其二商业秘密的确认：其三商业秘密的保护。从我国商业秘密保护的立法．现代企业如何进行商业秘密保护．以及商业秘密被侵权时的救济途径进行分析论述。相对完整地探讨了商业秘密确认和保护的基本概念和内容．对企业进行商业秘密保护有一定的借鉴和指导作用。     

基于树语言逼近的安全协议形式化分析

利用形式化方法或工具自动化分析实用安全协议十分必要,定理证明技术因其可解决无限状态系统的验证备受关注,但扩展其验证规模和自动化实现时仍然存在一些局限性。以定理证明和重写逼近理论为基础,以项重写形式化定义协议模型,以树自动机模拟协议攻击者知识集,给出攻击者知识集可达项逼近求解的算法,并根据上述模型讨论秘密性和认证性的验证方法,最后以Needham-Schroeder公钥认证协议为例验证模型的有效性,并指出下一步研究方向。     

专有技术出资法律问题刍议

专有技术是一种特殊的无形资产,由于其固有的秘密性和高风险性,在被作为资本出资入股从而作为成立生产经营组织的物质基础时在专有技术的担保、价值确定、以及风险承担等方面都具有其特有的法律属性。《公司法》和其他相关企业立法应当对专有技术由于其特性所产生的出资问题上的法律问题进行特别规定。     

自然光的变化

位于长崎的Hanamizuki医院是专门为女病人服务的，整个建筑明显地分为两部分：一部分用作接受医疗检查，另外一部分则是专门用作产房。建筑周遭的环境比较复杂，面临着两种非常不同的环境，在我们的设计中对此做出了相应的回应。在处理面对市镇的立面时，我们用了打孔的铝板以契合场所中的人的秘密性需求，而在处理面对公园的立面时，我们考虑的是营造通透的氛围，与公园进行对话。     

基于类型的密码协议验证方法

探讨使用一组形式化的规则来验证密码协议安全属性的方法.这些规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程.通过这些规则可以向用户提供一种检测方法,该方法用于判断:如果协议通过了检测,则可以认为该协议没有泄漏任何秘密的消息.     

会党在近代社会结构演变中的地位

会党是指民间的秘密结社,它的秘密性源于其宗旨与政府或社会的冲突。会党不是独立的社会集团,而是一些不同的阶级或阶层用来团结或斗争的一种形态,它对于社会集团具有极大的依附性。会党行为是社会解决自身矛盾的一种调整行为,但会党行为对于解决社会矛盾不一定是有益的。参政权与其他基本权利的普及,会使会党向正常社会团体转化,从而降低社会结构演变中的社会代价。     

论刑法上商业秘密的构成特征

刑法上的商业秘密具有以下几个客观要件:第一,商业秘密是一种技术信息与经营信息,其载体可以是文字、图像也可以是实物甚至是一种操作方式;第二,商业秘密是不为公众所悉知的,其仅限于小部分人所知;第三,商业机密能为权利人带来一定的利益,使得权利人的利益增加;第四;商业机密具有一定的实用性,能够运用于实际操作中;第五;商业秘密经由权利人采取了一定的保密措施。     

一种改进的密码协议形式化模型

多重集重写MSR(multiset rewriting)模型是一种基于多重集重写的协议形式化建模方法.从目前的研究成果来看,该模型并不完善.针对其攻击者模型验证协议存在的不足,对MSR模型进行了改进,并给出了基于MSR模型的秘密性和认证性描述.实践表明,对模型的改进进一步完善了原模型.