SET协议形式化研究及模型检测摘要：随着移动网络技术的快速发展，电子商务的大量普及，电子商务不在单单只是局限于有线网络，商家们开始将商机延续到移动网络。移动网络用户群体中手机移动上网用户占绝大部分，在这样的商机驱动下，移动电子商务得到快速发展。移动电子商务中最为核心的技术是移动电子支付协议SET,它直接决定了移动电子商务的安全性、高效性。本文就在这样的背景下采用AVISPA工具研究SET协议，通过形式化分析与...
述并构建目标函数模型,通过演化算法对模型进行优化求解,基于演化算法的软件形式化开发部件选取方法摘要：形式化方法在软件开发过程中一直扮演着重要角色。由于其建立在严格的数学基础之上，因此开发成本较高。为了解决开发成本问题，将软件开发整体分为形式化开发集合类和非形式化开发集合类。在此基础上，开发部件采用二进制串描判定不同的部件开发集合类归属。选用(1+1)EA作为研究对象验证开发部件选取方法的可行...
浅析我国公务员考核形式化的表现与危害摘要：我国公务员考核的形式化主要表现在“互惠主义”与“轮流坐庄”、“宽大化”倾向与“称职大平台”、“从众心理”与群众考评失效等三个方面。公务员考核的形式化不仅会挫伤公务员工作的积极性、损害我国的公务员制度，还会降低政府的工作效率，同时也不利于我国的公务员队伍建设。关键词：公务员考核；形式化；互惠主义；轮流坐庄中图分类号：G235.7文献标识码：A文章编号...
儒家“正名”论的形式化初探摘要：儒家的“正名论”其实不仅仅是一个政治哲学或道德哲学学说，而且也可以被改造为一个关于如何使得特定信念得到证成的知识论理论。该理论的要点，是将一个信念的被证成状态，转化为其主词部分与谓述部分中的规范性要素之间的“相即状态”。对于具有各种逻辑形式的信念（如包含否定词与高阶心理动词的信念）来说，对于它们的“证成”其实都能够按照上述模式进行处理――尽管有待证成的信念的结构...
中国公司治理之鉴近年来，中国上市公司和股份制企业按照《公司法》基本设立了公司治理的机构，上市公司董事会中独立董事的比例也大多数达到三分之一的要求，上市公司的信息披露状况也在不断改进。但是，公司治理的形式化仍然是最突出问题。投资者普遍关注的问题仍然是董事会决策是否能顾及小股东的利益，董事会是否具有独立性、对管理层监督和激励是否有效，独立董事如何有效发挥作用，公布的信息是否真实可靠等。...
密码学报ISSN2095．7025CN10一1195厂rNE-mail：jcr@eacmet．org．cnJournalofCryptologicResearch，2014，1(6)：568-577http：／／www．jcr．cacmetorg．crl@《密码学报》编辑部版权所有．Te汗ax：+86—10—8103310l安全协议形式化分析工具比较研究木陆思奇1,2，程庆丰1,2，赵进华31．洛阳外国语学院，洛阳4710032．中国科学院信息工程研究所，信息安全国家重点实验室，北京1000933．信息保障技术重点实验室，北京100072通讯作...
