电子交易中的安全护卫-握奇双重验证USBKey

握奇公司二代USBKey又名WatchKEY OCL ITA(Identity&Transaction Authentication),简称OCL Key,本产品是握奇研究院经过对电子交易协议和流程严谨的形式化分析和研究提出的基于可参与性的网络     

电子商务安全协议的设计与形式化应用分析

计算机技术的推广,为社会各领域带来了更多发展机遇。特别是与商务领域的融合,衍生出当今的电子商务。电子商务自身具有较强的灵活性特点,在实际应用中不仅能够有效突破时空限制,且能够节省更多交易时间。而安全协议作为电子商务的核心,是大量信息的载体,涉及电子商务参与主体信息,一旦出现问题,势必会损害到电子商务交易双方的利益,如何更好地实现对电子商务安全协议的设计及应用受到了广泛关注。文章结合电子商务安全协议概念,从电子邮件、移动支付及多方公平协议三个方面对安全协议及其形式化应用进行深入探讨。     

实质重于形式原则在会计核算中的运用

随着国内经济的快速发展,科学技术的不断进步,国家和社会的视角逐渐聚焦在会计核算方面,然而由于国家会计核算行业发展史较晚,核算经验较少,导致国内各大企业会计核算形式化较为严重。在当今实质大于形式的年代中,过于形式化的核算理念在一定程度上给会计核算行业的发展带来负面影响,严重阻碍国内会计行业健康、稳定发展,因此,改革会计核算理念、落实实质核算模式、加强会计控制管理是当今会计核算行业发展的必然趋势。     

评经济学中理性人概念的方法论基础

形式化理性人概念之所以能够作为主流经济学的微观基础,并不在于它以某种"理想化的"方式实现了对现实的抽象,而是它在客观上吻合和反映了物质资本利益主导的社会经济现实,其中物的逻辑、数字的逻辑是支配性的逻辑,工具理性相对于价值理论处于压倒性的优势地位。形式化理性人概念与劳动者(或消费者)的行为逻辑并不一致,它在经济学中扮演的角色,并不像自然科学中对数学的应用那样是中立的、自由选择的,而是由特定的社会经济结构所决定的。     

计算机免疫危险理论形式化模型

针对计算机免疫学危险理论缺乏统一的理论公式问题,文章利用集合理论和形式化方法,建立危险理论的计算模型。在建立危险理论完整、闭环的模型框架基础上,形式化描述危险理论模型中各类信号的数据结构、抗原空间、输入信号等,并将免疫过程计算方法公式化,最后,分析形式化模型的复杂度问题。文章的意义是,当研究人员在应用危险理论解决实际问题时,不需要再从生物模型出发重新构建危险理论模型,也可防止危险理论不适当的应用。     

新形势下提升企业文化的途径探析

企业文化自20世纪80年代首次由美国学者提出后,很快被引入我国,其在企业发展中的重要地位和作用已逐渐得到企业界的认同,并相继开展了如火如荼的企业文化建设,其中也不乏成功者,如海尔、TCL、联想等.但是站在当今知识经济时代和以人为本、构建和谐社会的新形势下,根据社会经济和企业自身发展要求来审视我国的企业文化发现:我国的企业文化建设整体上仍处于初始阶段,尚存在诸多缺失与不足,如简单化、片面化、形式化、趋同化、速成化、静止化等.因此如何由初始阶段尽快转向提升阶段,迅速提高我国企业文化的水平,是当前我国企业发展面临的亟待解决的重大课题,本文试图就这一问题做出探讨.     

财务信息元素理论的扩展——论财务报告附注的微观模式

文章在分析财务报告附注中多维表格的微观模式的基础上，对其进行了形式化描述，提出了元组模式中财务信息元素是构建XBRL财务报告分类标准的最基本单元，维度模式中表、轴成员和项目概念等结构信息元素是构建XBRL财务报告分类标准的最基本单元，由轴成员和项目概念信息元素构造了影子财务信息元素，对XBRL财务信息元素理论进行了细分和扩展。     

企业内控信息化实施的规范化方法研究——基于领域分析与形式化方法

企业内控信息化实施需要运用信息技术手段将内控理念、内部控制制度规范、流程、措施固化到信息系统中,将企业信息系统转化、提升为一个集成了企业内控需求的信息化管理平台。企业内控信息化实施是一个复杂庞大的系统工程,需要有科学规范的方法、工具和技术以保证内控系统实施的质量。领域分析和形式化方法是计算机软件工程中对软硬件系统进行分析、规范、建模、证明的方法和技术,将其应用于企业内控信息化实施,可以在内控系统运行前,通过基于数理逻辑证明的方法快速有效地发现系统设计和实施中存在的缺陷和漏洞,降低企业内控系统低效或失效的风险。本文以销售业务为例讨论了领域分析与形式化方法的内控信息化实施过程。