★100篇免费web程序设计论文范文,为你的毕业论文写作提供有价值的参考,为您写web程序设计毕业论文范文和职称论文提供相关的优秀范文格式模板参考,【快快阅读吧！】
第一篇web程序设计论文范文参考：面向Web应用的安全评测技术研究
随着Internet的普及和发展以及Web应用技术的发展和研究的深入,已经有越来越多的Web应用系统被部署在Internet上以提供各式各样的应用服务,由于Web应用提供的服务的开放性使其时刻面临着潜在的恶意攻击者的威胁；而从另一个方面来说由于Web应用设计者的经验或者其他因素,使得Web应用系统对信息的保密和系统的安全考虑不太完备,或者存在一定的设计缺陷、编码缺陷、或者在维护中出现配置缺陷,这些情况造成了造成现在Web应用面临的攻击与破坏事件层出不穷.
由于其地位的重要性以及面临安全威胁的严峻性,Web安全问题已引起人们的极大重视,但是传统的安全保证技术,如防火墙,IDS,IPS只能在面对攻击时可能起到效果,而在平常的使用过程中无法确认其安全状态,而且Web应用程序以及运行Web应用程序的服务器也都存在平常使用中无法检查其安全防护功能的问题.在这样的背景下,进行Web应用进行安全评测就有很强的现实意义.
为了解决这些问题,本文以Web应用安全评测为研究目的,研究了国内外已有的通用的以及专门针对Web应用的信息安全评估、安全测评标准以及技术,借鉴现有的检测框架,提出了一个通用的Web应用安全评估通用框架；并且结合对Web应用所面临的安全威胁,将针对Web应用的安全评测分为三个层次：Web应用程序层,Web应用服务层,以及底层的网络边界层.分别针对这三个层面的内容进行Web安全测评的研究,并在最后提出一个Web应用安全测评管理平台,将这些研究内容按照前面提出的检测框架整合在此平台中,以实现对Web应用的安全测评工作.本文主要工作和研究成果如下所示：
1.在网络边界层,研究了Web应用拓扑结构安全评测的相关技术,使用邻接矩阵来描述拓扑结构,使用二叉决策图来描述可能存在的约束问题,将拓扑结构安全评测问题分解为不包含逻辑约束的拓扑安全评测、包含逻辑约束的拓扑安全评测两种大的类型,并在解决前一个问题的基础上,研究对约束进行化简,并依照约束将其反映至邻接矩阵中从而解决解决Web应用拓扑结构安全评测的问题.以此来作为对Web应用安全评测中网络边界安全评估中的重要内容.
2.在Web应用程序层面上研究了Web应用黑盒测试相关技术,实现了一套通过状态机对Web程序进行记录建模并根据实际标准的要求具体化功能和安全需求,然后通过远程的黑盒测试对Web应用进行测试并获取具体的检测结果的检验方法,同时在这个方法中引入了一个自学习的输入处算法来发现更多的状态和安全问题.
3.在Web应用服务层面研究了Web应用服务配置的安全评测技术,通过Web应用服务的配置以及对应的配置检查项的描述方法进行研究,并在这些研究定义的基础上将Web应用服务配置分为命令行接口型的配置以及文本型的配置两种类型,分别针对这两种类型的配置形式提出了对其进行配置安全性评测的方法,并研究了在此基础上的具有通用性的结果评估方法.
4.在对三个层面的技术进行研究之后,提出了一个Web应用安全评测管理平台的结构和具体的模块设计,这个评测管理平台基于Web应用安全评估通用框架、实现了Web应用安全评测的整体流程,并在最大程度上实现了评测的自动化操作.
第二篇web程序设计论文样文：语义Web中知识服务的研究
WWW是人类有史以来构建的最大的信息库,其中URI和HTTP创建一个全球范围内可访问的信息空间,在这个空间中,每个对象都有全球唯一的名字.与数据库技术相比,Web技术放弃全局一致性的约束,在保持局部信息一致性的基础上促使信息空间向全球性发展.随着信息资源共享越来越迫切的需求,随着WWW逐渐成为信息共享的支撑平台,以语义Web为代表的语义技术,以其严格的逻辑理论基础和标准化的技术路线,正逐渐成为未来Web信息系统的一项支撑技术.
语义Web基本出发点是:将机器可读的信息加入Web页面,采用本体(ontology)技术精确定义Web资源中所共享的词汇,利用知识表示技术实现Web资源的自动推理,并应用Agent技术来协同处理Web中的信息.语义Web中的知识服务就是研究如何在开放的、大规模的Web语义互联环境中,有效地共享、组织、管理和融合分布的语义资源,建立动态的、跨平台的、面向社区的交互模式,提供按需服务以支持协同工作、问题求解和决策支持.本文主要研究了知识服务的两个关键问题:服务动态性的建模和资源的规范组织.主要包括:1.扩展了DDL逻辑系统.用逻辑的方法明确地描述了环境与服务之间的交互的内涵语义,填补基于语义内容的推理和基于服务的过程推理之间的鸿沟,达到两者内在的、一致的、无缝的结合.DDL结合了描述逻辑和动作理论,支持对服务过程方面的建模和推理.定义了一组动作构造器,运用这些构造器可以在原子动作的基础上组成复杂的动作,并着重讨论了DDL的动作一致性,提出了基于Tableau动作一致性检测算法,以及可执行性和投影两个基本动作推理.DDL逻辑系统是建立在描述逻辑基础之上,利用描述逻辑的框架更好地体现了服务的描述和执行,并为服务提供了知识共享的基础,促进服务之间的互操作性.DDL能为Web服务的应用特别是在语义Web中的应用提供逻辑基础.2.提出了基于逻辑程序设计的DDL动作表示和推理支持.深入分析了动作和世界模型之间的交互体现转移系统的特征,逻辑程序与描述逻辑在表达方面的交集以及它在表示转移系统时所展现的独特优势.基于此,提出了一种DDL逻辑系统与逻辑程序设计的转换方法,将动作的描述转换成逻辑程序,将动作的语义和推理转换成逻辑程序设计中的应答集计算.该转换能够以语义一致的方式将服务过程推理建立在本体和规则之上,并利用逻辑程序设计的非单调性和过程性解决动作领域的框架问题和推理问题.从而为采用逻辑程序设计的理论和工具支持DDL的应用提供了理论基础.3.提出了基于区间的知识模型并设计查询语言.服务的执行会产生关于环境变化的、具有时间戳的历史信息.深入分析了时序ER模型和时序描述逻辑在历史信息建模第三篇web程序设计论文范文模板：基于网格的远程教学研究
网格是继Internet之后又一次重大的科技进步,有人将其称为下一代互联网.它是集成和并行的计算与资源环境,其核心是在异构和分布式的网络环境中,实现资源共享(包括计算资源、存储资源、通信资源、软件资源、信息资源、知识资源等),消除信息孤岛.虽然网格技术现在还没有普遍地应用,但是因为网格技术本身具有的优势,其应用前景是非常广阔的.
现代教育技术以计算机网络为代表,基于网络的远程教育在现代教育中扮演着重要的角色,给无数的学习者提供了快速、便捷的学习方式.正是基于网络的远程教学,使得学习超越了时间和地点的限制.远程教育在全球范围内,都有着急速发展的趋势,但现有的远程教学系统,普遍存在着一些问题,主要表现在：缺乏广泛的资源合作,远程教育标准不完善,网络的异构给远程教学系统的开发带来了很大的难度,这些是造成教育资源不能大范围内共享、教学资源重复开发的主要原因.网格技术的出现,为我们解决这些问题带来了契机,因为网格技术的核心就是信息、资源共享.网格技术在其它许多领域都已经有了初步的应用,但是在远程教育中应用得还很少,研究如何将网格技术应用到远程教育中,是非常有必要和意义的.本论文的核心是研究如何建立网格环境、如何开发网格应用程序并将网格技术应用到远程教学系统中去.本论文共分七章： 第一章是选题背景和研究概述.主要阐述了远程教育的现状,存在的问题和解决的途径,以及本论文的研究内容和技术路线.目前的远程教学系统,教学资源大多以HTML格式为主,辅助以静态或动态的多媒体信息,内容和格式混合,不符合远程教育标准,不利于信息的提取,交换和处理.开发工具和运行平台各异,不具有通用性,加上网络本身的异构,造成了教学资源和教学系统无法大范围共享.网格技术在远程教育中的应用,可以根本改变这一现状.网格技术以资源共享为核心,以网格服务为实现方式,为用户提供透明的服务,用户不必知道网格服务是怎样实现的和由谁实现的,用户通过网格服务接口调用其服务而实现各种资源的共享. 第二章是网格体系结构及其远程教育应用研究.该章主要分析研究了现有的两个网格体系结构以及网格在远程教育中的应用前景.五层沙漏结构和开放网格服务体系结构是目前网格技术中最重要的两个体系结构,而开放网格服务体系结构更为流行,并且已经从理论走向了应用.著名的Globus项目就是由开放网格服务体系构建的.五层沙漏结构是以协议为中心,而开放网格服务体系结构以服务为核心,结合Web Services和其它网格相关技术,定义了开放的、可扩展的、相互协作的、异构环境下的应用程序框架.网格的应用是由网格服务(Grid Services)来体现的,Grid Services是在Web Services的基础上,增加诸如生命周期管理、数据管理、服务实例等功能扩展而成.一个网格服务就是一个系统中察觉不到的服务模块,客户端只要按照其要求,发送服务请求,就可以得到相应的服务.在本文的研究中,采用了开放网格服务体系结构,并且用Globus作为开发工具.| 有关论文范文主题研究: | 关于web程序设计论文范文 | 大学生适用: | 2500字电大毕业论文、10000字硕士毕业论文 |
|---|---|---|---|
| 相关参考文献下载数量: | 16 | 写作解决问题: | 学术论文怎么写 |
| 毕业论文开题报告: | 论文任务书、论文摘要 | 职称论文适用: | 期刊目录、职称评中级 |
| 所属大学生专业类别: | web程序设计方面 | 论文题目推荐度: | 最新web程序设计论文范文题目 |
https://www.mbalunwen.net/jinri/76523.html
而网格远程教学系统通过为用户提供统一的服务接口,实现更高层次的共享,这种共享不仅仅体现在教学资源上,而且包括各种硬件资源的共享.对于学习者来讲,不必知道学习服务由谁来提供和怎样提供,对于教学资源的开发者来讲,可以通过统一的接口,来实现更为快速的开发.第四章给出了基于教育科研网的网格体系的框架,特别是对于基于校园网
第四篇web程序设计论文范例：面向语义Web的本体理论和工程方法研究
以描述逻辑为基础的本体是语义Web中重要的知识表示形式,随着本体描述语言OWL成为W3C的标准,本体层在语义Web体系结构中已渐趋成熟,然而随着语义Web越来越多的用于实际应用,本体工程面临着各种应用问题,如大规模本体不易维护、应用困难以及语义Web急需时态信息的规范说明的问题,但只使用本体难以有效解决这些问题.规则是语义Web中另一重要的知识表示形式,本体和规则有效结合可弥补各自在表达能力上的不足.本体和Datalog形式的规则有相同的逻辑基础,目前已有应用技术可支持这两者的结合,然而本体与形式的规则(回答集程序设计)存在较大语义差异,如何在语义层次上将两者有效结合是语义Web发展中的关键问题.基于以上背景,本文所取得的研究成果如下: Data log ,
(1)将Datalog规则引入本体并使用本体模块化技术解决了大规模本体不易维护、应用困难的问题,提出了本体模块的定义,并以物流领域为应用背景,验证了方法的可行性.给出了物流领域问题域划分原则,并采用规则和程序将模块连接,形成不同语境下的知识表示.针对模块连接时产生的不一致问题提出约束原则,从而保证了模块间连接的正确性.在此基础上,优化了基于本体和单调规则的物流管理系统.实验表明,模块化技术将推理限制在较小的范围之内,降低了推理复杂度,大大减少了系统内存消耗,提高了系统响应速度,且本体模块易维护和复用.
(2)用间断区间的时态理论扩展了OWL-Time,以表达单个事件带间断时区的情况,用本体和单调规则表示了间断区间概念以及间断区间的时态关系,并以物流领域运输事件的表示为例验证了基于间断区间的时间本体在领域时态知识表示中的合理性.通过扩展Jena中的原语、Datalog规则以及对推理模型的操作构建了相应的推理机,对推理机进行实验检验,不仅验证了推理机运行的正确性,且保证了时间知识在本体和规则中表示的正确性.解决了带间断区间的时态知识在语义Web中表示和推理的问题.
(3)本文提出了一种用限定(circumscription)将一阶逻辑特别是描述逻辑和回答集程序设计结合的方法.这种方法不仅可描述NM-model的语义和disjunctive dl-programs的回答集语义,且NM-model的语义和disjunctive dl-programs的回答集语义的不同之处仅在于限定的策略不同,而且这种方法可引出本体和规则结合的新见解.首先,消除了对disjunctive dl-programs的回答集语义不能得到逻辑结论的非的误解,其次不同的限定策略可体现本体和规则结合时的不同语义,由此也引出了很多本体和规则结合的新语义,同时这种方法可以很清楚的展示这些语义间的区别和联系,最后,提出了一阶一般稳定模型也可以用相似的方法将本体和规则结合
综上,本文将本体和Datalog规则结合提出了解决语义Web中的大规模本体不易维护、应用困难,以及急需时态信息的规范说明的问题的方法,并在语义层次上将本体与以回答集语义为基础的规则结合起来,弥补了本体与规则在语义Web中单方面表达能力的不足.
第五篇web程序设计论文范文格式：基于赋时有色Petri网的Web服务组合建模验证与测试技术研究
Web服务（Web Service）是一种自包含、自描述、模块化的应用程序,它吸收了分布式计算、网格计算和XML等各种技术的优点,解决了异构分布式计算以及代码与数据重用等问题,具有高度的互操作性、跨平台性和松耦合性,已经在电子商务、企业应用集成等领域发挥着重要作用,特别是Web服务组合技术,因其能实现服务的重用和增值而引起了世界范围内学术界和工业界的关注.
Web服务组合本身是一项易于产生错误的任务,因为在组合中候选的服务之间进行复杂的交互.Web服务业务流程执行语言(Web Service Business ProcessExecution Language,WS-BPEL,简称BPEL)用于实现Web服务的组合和合并,它建立在IBM的Web服务流语言（Web Services Flow Language,W*L）和Microsoft的XML业务流程语言（XML Business Process Language,XLANG）之上,结合了这两种语言的特性,这样就引起了某些方面的不一致和语义的模糊；BPEL的语义是用英语定义的,这样无法避免其二义性、模糊性和不完全性.WS-BPEL技术委员会公认为需要对BPEL语义给出形式化定义.
由于要处理并发,具有复杂特性,如补偿处理、相关性、死路径删除（Dead-Path-Elimination,DPE）等,BPEL过程是容易出错的.
本文主要研究由BPEL生成的Web服务组合流程的建模、验证、测试问题.
针对BPEL流程建模,目前采用的方法有Petri网、SPIN工具、进程代数、抽象状态机和自动机等方法.本文采用赋时有色Petri网对BPEL流程建模.首先对BPEL的各种活动建模,将BPEL流程看作是活动的嵌套,将嵌套关系对应于层次化有色Petri网的层次关系缓解了有色Petri网模型过于庞大以及状态爆炸问题.本文提出的层次化有色Petri网的展开算法,使层次化Petri网可以展开成等价的非层次化Petri网,能够呈现出模型的细节.本文还完善了层次化有色Petri网的定义.
Web服务的形式化验证是近年来才开始进入研究领域的,但是已经获得了很多研究人员的关注.针对BPEL模型验证,本文给出了利用有色Petri网的属性对BPEL流程的基本属性进行验证,使用扩展时态逻辑ASK-CTL来描述要验证的属性,对模型的动态属性进行验证的一种方法.为了处理程序验证过程中出现的状态爆炸问题,本文还对谓词抽象技术和惰性抽象技术进行了研究,将CP-nets的状态图生成过程,以及状态图的谓词抽象过程合为一体,在状态生成过程中形成抽象状态图,从而避免了状态爆炸问题.本文将惰性抽象用于BPEL流程的安全性验证方法CEGAR中,优化了“抽象-验证-反例”中的前两个步骤,使得这个方法可以用于规模较大的程序上.
Web服务为分布式计算提供了灵活的、可重用的、松散耦合的模型,BPEL是半形式化的、具有复杂特性的、易含有错误行为的语言.在Web服务发布之前对服务进行验证、测试,确认服务符合设计模型是必需的.本文针对BPEL流程的CP-nets模型,提出了模型的可执行程序单元概念,基于可执行程序单元,给出了BPEL程序的测试用例生成方法,该方法可以有效的处理BPEL的并发、DPE等特性.
本论文是一篇免费优秀的关于web程序设计论文范文资料.
web程序设计引用文献:
[1] web程序设计论文题目大全 web程序设计专业论文题目怎么拟
[2] web程序设计类论文参考文献 web程序设计论文参考文献数量是多少
[3] web程序设计论文提纲模板范本 web程序设计论文大纲怎样写
