Policy-Based Trustworthy Software Model

Policy-Based Trustworthy Software Model

论文摘要

随着信息技术的发展,建立在网络上的应用产生了。电子商务是网络这个时代的典型应用。但是它必须面对两个具有挑战性的问题。一个是对用户来说怎么样才能更方便;另一个是对交易来说怎么样才能更安全。代理技术和策略措施逐渐成为解决以上的问题的主要的方法来。在当今社会,代理技术一直是一个很重要的研究领域。尤其是,与多代理相关的研究课题和应用发展明显。这是由于成功的智能代理可以代表人类的行为。人类的参与只是监控和分配任务给代理,这反过来将会以快速和准确的方式执行其它特定的操作。在安全方面,软件代理要求去提供一个很强的工作结构,因为它们帮助建立强大的分布式系统。同时,政策在当今系统和应用中起着必须的作用。我们认为建立在政策规则上的决定应该考虑这种可能性:对用户来说,在先觉条件发生时通过执行行动或者承诺在将来执行其它的行动以便具体的政策规定。在定义一个通用目的的、建立在政策上的安全框架时,对服务和信息的可靠性、完整性和有效性来说,安全策略是需要考虑的。在这篇论文中,我们提出了一个建立在政策上的一个可信赖的模型(PBTSM)。在这个模型中,通过代理人类去执行交易过程,在交易中它达到了方便的电子商务应用的目的,并且用建立在策略上的控制方法保证了电子商务的安全性和可靠性。我们详细的研究、分析和解决了可能的情况,这些情况对分析、设计和执行一个软件模型是必要的,这个软件模型可解决安全电子商务的支付操作。我们还实施了一个轻量级的原型系统,在这里人类(买方和卖方)可以把他们的任务委托给代理,这些代理可以代表人类购物、支付,然后把结果告诉人类。买方(顾客)和卖方(提供者)可以是组织、公司或者个人。建立在策略上的可信赖软件模型的方法对发现最优的解决来强化和方便电子商务支付业务做出了贡献。提供了解决电子商务领域安全问题的新尝试。

论文目录

  • Abstract
  • LIST OF FIGURES
  • CHAPTER 1. INTRODUCTION
  • 1.1 Background and motivation
  • 1.2 The content and structure of the thesis
  • CHAPTER 2. THE STATE-OF-ART OF CURRENT RESEARCH
  • 2.1 Basic theory
  • 2.1.1.Policy
  • 2.1.2.Agent and software agent
  • 2.2.Related work
  • 2.2.1.policy-based management
  • 2.2.2.Trustworthy software
  • 2.3 Chapter summary
  • CHAPTER 3. THE PRINCIPLES OF PBTSM
  • 3.1.The PBTSM
  • 3.1.1 A Formal Model of policy
  • 3.2. The work and trustworthy mechanism
  • 3.2.1 Access control policy
  • 3.2.2 Credential-based authentication method
  • 3.3 Chapter summary
  • CHAPTER 4.SYSTEM ANALYSIS AND DESIGN
  • 4.1 system architecture
  • 4.2.Payment Security
  • 4.2.1 Sequence diagrams for ordering products
  • 4.3 Design pattern
  • 4.4 Chapter summary
  • CHAPTER 5.IMPLEMENTATION
  • 5.1.Tools used
  • 5.1.1.Java
  • 5.1.2.Jade
  • 5.1.3 Oracle Database
  • 5.2.Implementation results and discussion
  • 5.2.1 Main Agent
  • 5.2.2 JADE Remote Agent Management GUI
  • 5.2.3 Buying process module
  • 5.2.4.User login success and Payment process module
  • 5.3 Chapter summary
  • CHAPTER 6.CONCLUSION AND FUTURE WORK
  • REFERENCES
  • ACKNOWLEDGEMENTS
  • 附录A:详细中文摘要
  • Appendix B:Published paper list
  • 相关论文文献

    • [1].多线程全通信软件模型的设计与实现[J]. 软件 2014(08)
    • [2].航空软件模型状态最小化算法的比较[J]. 金融管理研究 2020(02)
    • [3].基于交互的软件模型研究[J]. 现代电子技术 2016(15)
    • [4].化解“信息孤岛”危机的软件模型按需服务互操作技术[J]. 计算机学报 2018(06)
    • [5].一种面向复用的软件模型进化方法[J]. 农业网络信息 2012(07)
    • [6].把复杂的事情简单化[J]. 经理人 2017(04)
    • [7].基于UML的突发公共事件预警系统软件模型[J]. 计算机与信息技术 2010(12)
    • [8].出租车打车软件模型研究及应用[J]. 上海海事大学学报 2016(03)
    • [9].一种应用于车辆测试的油量传感器软件模型的分析与设计[J]. 长春大学学报 2011(04)
    • [10].WCF在数字化校园建设中的应用[J]. 中山大学学报(自然科学版) 2009(S1)
    • [11].一种动态约束优化调度的软件模型[J]. 北京化工大学学报(自然科学版) 2009(02)
    • [12].一种基于有限状态机和命令模式的设备监控软件模型[J]. 中国水运(下半月) 2014(09)
    • [13].基于SolidWorks的真空灭弧室设计应用软件模型[J]. 真空电子技术 2014(06)
    • [14].企业组织机构软件模型设计[J]. 浙江冶金 2012(01)
    • [15].基于VB的通用运动控制软件模型[J]. 机电工程 2009(12)
    • [16].一种随机化的软件模型生成方法[J]. 软件学报 2017(04)
    • [17].关于CAD课程的教学思考[J]. 成功(教育) 2009(08)
    • [18].继电保护装置人机接口软件模型研究[J]. 硅谷 2009(13)
    • [19].基于UML的软件建模概述[J]. 科教文汇(上旬刊) 2011(08)
    • [20].基于游戏形式的中职理论教学训练系统软件模型的研究[J]. 中等职业教育(理论) 2008(08)
    • [21].形式化可测性约束在软件模型实现过程中的研究[J]. 舰船电子工程 2009(09)
    • [22].序列图建模机理与应用研究[J]. 新乡学院学报(自然科学版) 2012(05)
    • [23].使用SCE-MI和C-API来提高基于FPGA的SoC/ASIC原型验证效率[J]. 中国集成电路 2011(11)
    • [24].陕北窑洞的结构力学分析及破坏防治措施[J]. 低温建筑技术 2014(12)
    • [25].SFC的结构化特性及其在PLC系统控制程序设计中的作用[J]. 电气时代 2008(09)
    • [26].软件模型代数性质的程序化验证[J]. 计算机科学 2017(11)
    • [27].基于FPGA的元胞自动机模型[J]. 福州大学学报(自然科学版) 2014(04)
    • [28].VISSIM交通仿真软件模型的构建[J]. 科技创新导报 2020(02)
    • [29].福州市江北城区排水整治方案研究[J]. 城市道桥与防洪 2014(08)
    • [30].网络战争与基于数据挖掘的计算社会科学[J]. 世界科学 2013(05)

    标签:;  ;  ;  

    Policy-Based Trustworthy Software Model
    下载Doc文档

    猜你喜欢