Java Servlet的授权与访问控制机制研究

Ｊａｖａ Ｓｅｒｖｌｅｔ是一种新型的ＷＷＷ服务器编程方法,广泛应用于电子商务等网络计算模式中。通过网络共享Ｓｅｒｖｌｅｔ对象是Ｊａｖａ Ｓｅｒｖｌｅｔ的显著特性,但也蕴藏着授权与访问控制管理上的不足。本文提出了一种基于数字签名算法的授权与访问控制方案,安全、有效地解决了这种新兴共享资源的授权与访问控制问题。     

基于WCF的分布式系统模型研究与实现

WCF是一个在Windows平台下用于建立和运行面向服务应用程序的基础框架.本文分析了WCF框架中的编程元素,提出了基于WCF的N层分布式系统模型,并给出分层实现过程.针对安全性问题,提出了身份验证、授权、传输安全三种策略.     

C＋＋Builder编程实现工作站上网授权

本文介绍了如何授权控制局域网工作站到Internet的连接访问的一种简便方法,并给出了用C Builder编程实现的详细源代码。     

基于客户机／服务器的数据库设计方法

客户机／服务器结构已成为目前最通用的体系结构,如何设计出安全,高铲访问的数据库系统,提供功能强,速度快,多用户访问的客户机／服务器应用程序也更为重要。本文通过对客户机／服务器体系结构和 系统进行了分析研究,提出了一种基于客户机／服务器的数据库设计方法,使用该设计方法开发客户机／服务器数据库系统,可以充分利用可视化编程的工具,快速有效的开发出一个能正常工作的客户机／服务器应用程序。     

Pro／E后置处理程序的研究

后置处理技术是数控加工技术的关键技术之一,是连接CAM编程与数控加工的纽带。Pro／E具有强大的三雏建模能力,充分利用其后置处理技术,对提高数控编程效率,实现CAD／CAM一体化具有重要意义。以Pro／E5．0为例,介绍基于CAD／CAM一体化的数控自动编程加工中的后置处理技术,以及如何利用Cpost创建数控系统的后置处理选配文件,研究了如何利用FIL宏程序进行Pro／E后置处理器的二次开发,以充分满足不同的数控系统加工的需要。最后通过对简单零件NC编程,验证了利用FIL宏程序进行后置处理器二次开发的可行性与有效性。     

基于单包授权的零信任防火墙设计方案研究

针对经典网络防火墙缺少对客户端信息进行评估和存在潜在安全风险等问题,提出了基于单包授权的零信任防火墙.基于单包授权的零信任防火墙根据客户端提供的认证凭据实现防火墙动态授权.通过实例验证,单包授权零信任防火墙缓解了经典防火墙面临的安全威胁,可明显提升网络安全控制能力.     

电子政务环境下基于PMI的工作流管理系统安全模型和授权策略研究

在对工作流的经典安全模型、PMI授权管理系统和工作流管理系统访问控制技术的研究基础上,将PMI引入到工作流管理系统经典的安全模型中,建立了电子政务环境下基于PMI的工作流管理系统安全模型,同时将基于角色和任务的访问控制引入到工作流管理系统安全模型的PMI授权策略中,扩展了基于角色的PMI授权策略.在论文的最后,对改进的安全模型进行了初步的实现,验证了模型的合理性.     

基于动态权限管理模型的改进与应用

本文对现在在做的项目中权限管理的方法进行了研究;分析了动态权限授权模型并提出了改进的授权模式;进行了统一安全授权平台的研究和设计。该授权模式采取静态和动态相结合的方式,允许权限管理员通过角色、新建任务管理控制信息,允许用户在其可授权集合内通过新建任务来给其他用户授权,简化了管理员授权的繁琐操作。     

基于空间数据和角色的访问控制模型研究

本文结合传统的访问控制技术,提出了一个新的基于空间数据和角色的访问控制模型。模型主要由基本授权模型和授权约束组成,基本授权模型在完成业务角度的前提下,将授权限定在特定的地理空间位置,授权约束模块对用户授权过程进行管理,两部分结合实现了更灵活、更安全的访问控制。     

多域应用安全互操作的授权模型

讨论了基于角色的访问控制策略在多域安全应用中的互操作问题，提出了多域应用环境下角色映射的概念，建立了一个基于角色的组合层次关系的多域授权管理模型，通过约束条件和授权步给出了跨域用户的授权访问控制策略，实现了多域环境的安全互操作．该模型不仅使授权机制易于实现，而且可以灵活地适应应用中安全需求的变化。     

T-幂零环的若干扩张

研究T-幂零环的一些扩张性质,主要证明了:(1)设R是一个环,α是R上的自同构,则R是左T-幂零环当且仅当R上的斜多项式环R［x;α］是左T-幂零环,当且仅当斜洛朗多项式环R［x,x^-1;α］是左T-幂零环;(2)环R是左T-幂零环当且仅当R上的Nagata扩张是左T-幂零环,当且仅当R上的斜三角矩阵环是左T-幂零环。     

拟Hopf代数上BHQ何时是预辫子monoidal范畴

设H为带有可逆对极的拟Hopf代数, B为左拟Yetter-Drinfeld模代数,并且^H_BQ为拟Hopf Yetter-Drinfeld(H,B)-模范畴。讨论了范畴^H_BQ何时是预辫子monoidal范畴。假设B是H交换的,则拟Hopf Yetter-Drinfeld模范畴^HQ上的辫子诱导出^H_BQ上的预辫子当且仅当^H_BQ中的每一个对象是dyslectic。     

Frobenius扩张下的W⊥-Gorenstein内射性

对于一个广义的倾斜模WR,定义了W⊥R-Gorenstein内射模和W⊥R-Gorenstein内射维数,证明了在环Frobe-nius扩张下,模的W⊥-Gorenstein内射模性是保持的,即对于MR、MR是一个W⊥R-Gorenstein内射模当且仅当M?RSS是一个(W?RSS)⊥S-Gorenstein内射模,...     

形式三角矩阵环上的n-Gorenstein投射模

设n是整数,T=(A 0U B)是形式三角矩阵环,其中A,B是环,U是左B右A双模,_BU是投射模,U_A的平坦维数有限。证明了若左T-模(M₁M₂)_φ^M是n-Gorenstein投射模,则M₁是(n-1)-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射。反过来,若M₁是n-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射,则左T-模(M₁M₂)_φ^M是n-Gorenstein投射模。     

基于RS数据的城市系统异速生长分析和城镇化水平预测模型：基本理论与应用方法

将城市人口-城区面积异速生长模型由城市动态相似分析和城市体系的几何测度分析推广到城市体系(总量)的动态相似分析,并据此建立了城镇化水平预测模型,然后以河南省的城市为例说明了有关模型的应用方法,为实现基于RS数据的城市系统地理信息分析和区域城镇化进程的空间监测拓展了思路。     

具有点可数弱基及满足开(G)条件的空间有限并的D-性质

针对点可数弱基和开(G)条件与D-性质的联系分别进行了研究。 首先证明了:如果空间X具有可数紧度且X=∪{X_i:1≤i≤m},其中每个X_i具有点可数弱基T_i={T_i(x):x∈X_i}且对任意不同的x,y∈X,有T_i(x)∩T_i(y)=Ø,那么空间 X为D-空间。 然后证明了:如果X=X₁∪X₂,其中X₁和X₂都满足开(G)条件,那么X₁^-∩X₂^-满足开(G)条件。 在此基础上,对有限多个满足开(G)条件的空间的并是D-空间这一结论给出了详细的证明。     

相对于半对偶模的f-内射模

设R是一个交换环,C是半对偶R-模。定义并研究了相对于半对偶R-模C的f-内射模,证明了一个R-模同态F→M是M的一个内射(f-内射)预覆盖当且仅当Hom_R(C,F)→Hom_R(C,M)是C-内射(C-f-内射)预覆盖。     

CL-20/TNT/DNB三元共晶的分子动力学模拟

为了探索研究CL-20(六硝基六氮杂异伍兹烷)/TNT(2,4,6-三硝基甲苯)/DNB(1,3-二硝基苯)三元共晶形成的可能性,分别构建了CL-20/TNT/DNB三元共晶结构和CL-20/TNT、CL-20/DNB组成的二元共混物结构,以及CL-20、TNT、DNB三元混合结构。采用分子动力学方法模拟计算了三元共晶体系、二元共混体系和三元混合体系的结合能、内聚能密度、径向分布函数和力学性能。对计算结果进行比较和分析可以得到:CL-20/TNT/DNB共晶结构的结合能大于CL-20/TNT/DNB共混结构、CL-20/TNT与CL-20/DNB二元共混结构的结合能;CL-20/TNT/DNB共混结构、CL-20/TNT与CL-20/DNB二元共混结构内聚能密度小一些,即共混体系克服分子间作用力相对容易,体系稳定性较差;而CL-20/TNT/DNB共晶结构的内聚能密度大一些,体系中分子间的相互作用力较强,体系结构稳定性较好,共晶体系中存在作用强度大、长度也小的氢键作用,有利于CL-20/TNT/DNB共晶体系的形成,对体系感度的降低也有一定意义。     

Hom-Yetter-Drinfeld模范畴的半单性

设k是域,(H,α)是带有双射对极的monoidal Hom-Hopf代数, 如果(H,α)是交换的, 诺特的, 半单和余半单, 则Hom-Yetter-Drinfeld模范畴_HHYD ^H是半单的。也就是说设(H,α)是交换的monoidal Hom-Hopf代数。 假设_HHYD ^H 满足某一条件, 并且函子(-)^coH:_HHYD ^H→H(M_k)是正合的。 如果(M, μ)∈_HHYD ^H 作为左(H,α)-模是有限生成的, 则(M,μ)∈_HHYD ^H 保持对象。     

形式三角矩阵环上的强Ding投射模和强Ding内射模

讨论了形式下三角矩阵环T=(A 0U B)上的强Ding投射模和强Ding内射模,证明了当U_A和_BU的平坦维数有限,并且(M₁M₂)_φ^M是强Ding投射左T-模时,M₁是强Ding投射左A-模,φ^M是单同态,M₂/Im φ^M是强Ding投射左B-模。