基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

定逆序数的n元数码置换个数的一种方法

一个确定的n元数码的排列,其道序数是不难求得的;反之,“已知逆序数,求有多少个n元置换”的问题要复杂得多。从最小数码的位置着手,充分利用逆序数是定数,给出一种解决此问题的新方法——最小数码定位法。此法通俗易懂,由此得到了逆序数为k(k=1,2,3……c_n~2)的n元数码的置换个数的一个递推公式:q_k(n)=1+q_1(n-l)+q_2(n-1)+q_3(n-1)+…+q_k(n-1)。     

论家庭教育中儿童人格的塑造与培养

父母及家庭环境对儿童人格形成与发展具有十分重要的影响。父母要以身示范,营造和睦、健康、向上的家庭氛围。在儿童人格塑造和培养中,要十分重视智力因素的培养,特别注意早期智力与创造力的开发,重视社会适应能力的培养,包括融入集体生活的能力、人际适应能力和环境适应能力等。     

化学方程式配平的矩阵解法

基于矩阵解方程的理论，定义出了一个化学元素矩阵，从而找到了一种配平化学方程式的新方法，称之为矩阵解法。     

与时俱进,提升高校党委的工作水平

面对新时期新形势新任务，要与时俱进做好工作．高校党委必须提高认识水平、协调水平、管理水平和创新水平，最终体现为发展水平。     

《老水手行》中的鸟与蛇意象

柯尔律治的诗歌以神秘、怪诞著称。本文通过分析《老水手行》中鸟和蛇的意象来解读《老水手行》，在宗教寓意之外发现柯尔律治在诗中隐含的另一个主题，敬畏自然、关爱生命。     

黎锦明小说的艺术特色

在中国现代文学史上，黎锦明创作颇丰，曾是一位较为活跃的有影响的著名作家，有些作品在当时曾引起文坛的瞩目和社会的反响。长期以来，他和他的作品被人漠视和遗忘。实际上，他的小说在题材内容选取上很是广阔，在体式技法运用的多样性上更是有其独特之处。     

R ＆ D STRATEGIC INVESTMENT IN AN ASYMMETRICAL CASE

This article analyzes R ＆ D investment decisions in an asymmetrical case. The investment decisions share three important characteristics. First, the investment is completely irreversible. Second, there are two kinds of uncertainties over the future returns from the investment and over technology in R ＆ D process, respectively. Third, there is strategic competition in the asymmetrical case. This article presents the optimal investment threshold values and the optimal investment rule of high-efficient firm （leader）, and shows that the investment threshold values are reduced by competition of two firms. Finally, the mixed investment strategies for two firms, the probability that each firm separately exercises the option to invest, and the probability that two firms simultaneously exercise the option are given in the paper.     

基于WEB方式的电子政务初探

本提出了基于WEB方式的电子政务设计、开发、运营方法和技术平台的总体框架。描述了电子政务数据开发模型的雄度，电子政务系统工程的实施原则、实施步骤及应用系统集成的一整套的实践模型。     

企业信用缺失形态的经济法学分析

信用缺失尤其是企业信用缺失严重危害了我国社会主义市场经济体制的完善和经济的发展.文章从经济法学视角来界定信用与企业信用缺失的涵义,并运用经济法律关系理论,将企业信用缺失划分为主体型企业信用缺失、客体型企业信用缺失和内容型企业信用缺失三大形态,并对各形态展开了具体分析.