用进程代数描述COM接口调用

用π演算模型来表现COM接口调用，在服务器是进程内或进程外组件的情况下，统一对COM接口调用中的重要部件(如客户、代理管理器、接口代理、存根管理器、接口存根、组件对象等)，用π演算进程给出了形式化的刻画，从而从总体上描述了COM接口调用的一系列流程．并通过此模型，清晰地表现出COM接口调用的进程透明特性，也进一步体现了演算对于描述进程通信及并行性的独特优势。     

一种能够描述可信特征的进程代数

针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性.     

基于移动Agent电子商务安全模型

本文提出了解决基于移动MA电子商务的安全问题的新模式--信任模型,介绍了信任模型的创建步骤,分析信任模型的原理及信任模型在典型的基于移动MA电子交易中的应用。     

基于移动Agent的电子商务模型研究

在分析电子商务中应用移动代理技术的原因和优势的基础上,设计并实现了一个基于移动代理的电子商务系统模型.描述了一种用以设计和开发电子商务系统的移动Agent技术的概要性实现框架.在电子商务中采用Agent技术的目的主要是为了解决用户在使用电子商务中遇到的相关问题,并且以较低的代价增强商家为用户提供商品和服务.移动代理技术的引入将进一步增强电子商务的吸引力及其服务的能力,有效地解决目前电子商务发展中出现的诸多问题,如资源发现、交易协商,以及交易自动化等.     

基于神经网络的Agent电子商务协商模型

提出一个在电子商务中能辅助用户网上采购的智能Agent协商模型,并对模型进行仿真实验,以验证模型的有效性。模型的构造基于BP神经网络,通过对用户的购物偏好训练学习,使Agent获得一组包含用户偏好特征的规则信息并作为协商过程中推理的依据;每次协商的结果都作为学习样本,以提高Agent对市场变化的适应能力。     

基于移动Agent的电子商务模型研究

在分析电子商务中应用移动代理技术的原因和优势的基础上,设计并实现了一个基于移动代理的电子商务系统模型。描述了一种用以设计和开发电子商务系统的移动Agent技术的概要性实现框架。在电子商务中采用Agent技术的目的主要是为了解决用户在使用电子商务中遇到的相关问题,并且以较低的代价增强商家为用户提供商品和服务。移动代理技术的引入将进一步增强电子商务的吸引力及其服务的能力,有效地解决目前电子商务发展中出现的诸多问题,如资源发现、交易协商,以及交易自动化等。     

一种基于进程代数的Android组件行为形式化描述方法

已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并给出了组件行为相应的演化规则,然后给出了组件交互行为的形式化描述,并应用于一个案例表明...     

网络服务行为的进程代数验证方法研究及其应用

通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法,然后给出了P2P节点的节点发现、防火墙穿越等行为的描述,提出了适用于托管的RCMMS网络自管理协议,并使用代数的...     

多Agent协同的电子商务推荐系统模型

为了进一步提高电子商务推荐系统中商品推荐的准确性和高效性,通过分析传统推荐系统存在的问题和已有的优化方案,提出了多Agent的电子商务推荐系统模型。推荐系统通过人工智能领域中的多Agent技术,并应用终端自适应特性,改善了传统推荐系统在多终端情况下的电子商务系统的推荐效率,并根据用户使用的不同终端动态返回推荐结果。实验结果表明,多Agent协同的电子商务推荐系统在一定程度上提高了推荐效率和准确性。     

基于移动Agent的电子商务交易平台研究

针对传统电子商务平台存在的问题,提出了一个以移动Agent为中介服务的电子商务交易平台,阐述了该平台各组成部分的功能.实验采用价格优先和数量优先的购买策略,分析了该平台中移动Agent的性能,实验仿真结果表明移动Agent的引入提高了平台处理客户信息的速度,缩短了达成交易的时间并降低了网络的通信量.     

移动Agent在电子商务中的应用

在分析了移动Agent的优点之后,构建了一个基于移动Agent的电子商务拍卖平台,消除了传统电子商务模式中的弊端,展示了移动Agent在现代电子商务中的应用及其良好的技术和应用前景。     

移动Agent在电子商务中的应用

在分析了移动Agent的优点之后,构建了一个基于移动Agent的电子商务拍卖平台,消除了传统电子商务模式中的弊端,展示了移动Agent在现代电子商务中的应用及其良好的技术和应用前景。     

电子商务系统基本安全问题的分析和描述

在简单介绍了电子商务的基本知识后,对电子商务安全所涉及的技术问题、实现安全的电子商务系统所应具备的要素进行了系统的描述,并提出引入攻击树概念来描述电子商务安全系统,尽可能保护系统免受各种威胁攻击的思想与实现途径。     

基于移动Agent的电子商务安全性研究

基于移动Agent的第三代电子商务系统是软件、通信和分布式系统技术的结合,它克服了传统电子商务技术的缺点,有着很好的应用前景。然而,其安全性却是个不容忽视的问题。安全性的缺乏会导致恶意Agent毫无限制地在网络上散布或导致恶意入侵的发生,从而使商务活动陷入混乱状态。保护主机不被恶意Agent入侵,与传统的分布式系统中相对成熟的安全技术,有着相似之处。但保护移动Agent不被恶意攻击还有一些欠缺,基于保护移动Agent不被恶意攻击的主要目的出发,提出了一个信用模型（评价主机信用关系的信誉度）,来解决基于移动Agent技术的电子商务的安全性问题。     

一种电子商务的可撤销匿名实现方案

提出了一种电子商务的可撤销匿名实现方案,主要涉及到两个过程：虚拟账号的申请和用户真实信息的恢复。通过对TTP职能的划分,降低单个TTP权限,三个TTP相互监督、协作以实现可撤销匿名。     

电子商务网站可用性测试设计

本文从概念、测试方法、实施流程以及关键因素等方面,对电子商务网站可用性测试进行了详细说明,体现了用户中心设计理念。文章为网站设计者提供了可用性测试通用方法及流程,对新建网站和改进网站性能有一定的借鉴作用。     

一种电子商务安全解决方案的研究与实现

随着计算机技术的发展，电子商务逐渐显示出其相对于传统商秀活动的巨大优势，诸如电子支付、电子交易等类型的商务活动形式给人们带来的便利足以体现电子商务对人们生活的巨大影响。但是由于lnternet是一个、开放的系统、昕以重要数据在网上传输的安全性成为发展电子商务的重要环节．这个环节出错，将会使电子商务失去意义，文中挖掘丁电子商务中应该解决的若干重要问题，设计了公开密钥基础设施、JavaBean、基于角色的访问控制三者结合的整体解决方案，加强了电子商务的安全性。该方法已经在笔者参加的福建省卫生厅药品招标采购系统的开发中得到应用，并取得了较好的效果。     

电子商务发展初探

本文介绍了电子商务的特点、发展、实现过程,及电子商务和作用。     

电子商务系统的结构与购物过程

电子商务指应用电子技术进行的商务活动。本文介绍了电子商务系统的结构，以及电子商务系统的购物过程。