基于Logic SQL的B1级安全数据库的设计与实现

1

作者 马新强 王保华 +2 位作者 李丹宁 章衡 李丹 《贵州科学》 2006年第3期52-56,共5页

基于对B1级安全数据库的研究与分析,介绍了2个数据库安全模型:Bell-La Padu la模型、基于角色的访问控制模型(RBAC);结合LogicSQL数据库的研究,设计了其B1级安全模型。主要从LogicSQL的用户身份认证、自主访问控制、基于角色的访问控制... 基于对B1级安全数据库的研究与分析,介绍了2个数据库安全模型:Bell-La Padu la模型、基于角色的访问控制模型(RBAC);结合LogicSQL数据库的研究,设计了其B1级安全模型。主要从LogicSQL的用户身份认证、自主访问控制、基于角色的访问控制、强制访问控制、安全标签和审计等几个方面进行了讨论。 展开更多

关键词 logicsql BLP 基于角色的访问控制 自主访问控制 强制访问控制 logicsql标签

在线阅读 下载PDF 职称材料

基于Logic SQL的B2级安全机制的研究与设计

2

作者 王保华 马新强 +2 位作者 李丹 李丹宁 章衡 《贵州科学》 2007年第1期27-30,共4页

Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文对Logic SQL安全数据库的B2级安全机制的研究与设计,从标识与认证机制、访问控制机制、审计机制、加密机制、三权分立机制、客体重用保护机制等方面进行研究.并展望下一... Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文对Logic SQL安全数据库的B2级安全机制的研究与设计,从标识与认证机制、访问控制机制、审计机制、加密机制、三权分立机制、客体重用保护机制等方面进行研究.并展望下一阶段Logic SQL的B2级安全机制的实现还需要进行的研究. 展开更多

关键词 logic sql 安全数据库 安全机制

在线阅读 下载PDF 职称材料

基于Logic SQL安全数据库的隐蔽通道分析

3

作者 王保华 李丹宁 +1 位作者 马新强 章衡 《贵州科学》 2006年第4期60-63,共4页

Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文根据近年来成熟的隐蔽通道分析技术针对Logic SQL安全数据库的隐蔽通道进行分析,从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行分析。并展望下一步Logic SQL... Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文根据近年来成熟的隐蔽通道分析技术针对Logic SQL安全数据库的隐蔽通道进行分析,从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行分析。并展望下一步Logic SQL安全数据库的隐蔽通道研究方向。 展开更多

关键词 安全数据库 logic sql 隐蔽通道分析 共享资源矩阵

在线阅读 下载PDF 职称材料

通用标准SQL语法分析模型 被引量：9

4

作者 李海龙 张维明 +1 位作者 肖卫东 黎曦 《小型微型计算机系统》 CSCD 北大核心 2003年第11期1969-1972,共4页

在构造通用 SQL 查询的工程项目中 ,对 SQL 语句准确的分析验证并给出有指导性的错误信息是非常关键的 .本文根据编译原理中的句法分析 ,并利用了逻辑代数的知识和方法建立了一个完善的标准 SQL 验证模型 ,模型中首先定义了一个标准 SQ... 在构造通用 SQL 查询的工程项目中 ,对 SQL 语句准确的分析验证并给出有指导性的错误信息是非常关键的 .本文根据编译原理中的句法分析 ,并利用了逻辑代数的知识和方法建立了一个完善的标准 SQL 验证模型 ,模型中首先定义了一个标准 SQL语句对象 ANSISQL O,然后分别针对句法和文法建立了详尽的规则 ,分 Form al- Rule和L ogic- Rule两个阶段建立 ANSISQL O对象并进行验证 .文中还对嵌套的 SQL 语句做了进一步分析 ,建立了句法树以及句法广度优先和语义深度优先的验证原则 .模型对涉及到通用 展开更多

关键词 sql语法分析模型 嵌套sql 信息共享 逻辑代数

在线阅读 下载PDF 职称材料

开发等式比较SQL查询语句的一种模型推理方法 被引量：1

5

作者 杨波 薛锦云 《计算机工程与应用》 CSCD 北大核心 2007年第22期99-102,164,共5页

尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓... 尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法;并且按照由简单到复杂的顺序给出了两个应用实例。 展开更多

关键词 等式比较 sql查询语句 模型推理 一阶谓词逻辑

在线阅读 下载PDF 职称材料

基于SQL的自助数据分析模式设计

6

作者 魏梨君 潘阳 张岩 《嘉应学院学报》 2017年第2期34-39,共6页

针对集成报表难以满足多样化的数据分析需求,设计并实现一种基于SQL Select的自助数据分析模式.该模式通过在用户层数据别名与物理数据库之间、在分析选项与SQL指令之间建立映射关系,设计相应算法完成数据解释、数据关系解析、查询逻辑... 针对集成报表难以满足多样化的数据分析需求,设计并实现一种基于SQL Select的自助数据分析模式.该模式通过在用户层数据别名与物理数据库之间、在分析选项与SQL指令之间建立映射关系,设计相应算法完成数据解释、数据关系解析、查询逻辑判定、语法逻辑判定,并根据解析和判定结果完成Select指令重构和数据查询分析:完整地构建了数据查询分析的自助模式设计,使普通用户能够完成自定义的数据统计分析,有效地增强信息系统数据分析能力与决策支持能力. 展开更多

关键词 数据分析 sql 数据解释 查询逻辑 语法分析

在线阅读 下载PDF 职称材料

SQL Server索引的优化

7

作者 苑卫国 迟呈英 钟菊 《鞍山钢铁学院学报》 CAS 2001年第4期274-276,共3页

SQLServer优化技术对提高系统性能至关重要 .为充分利用索引 ,优化表的查询机制 ,从而提高SQLServer查询速度 ,本文从建立有用的索引减少表扫描I O次数 ,优化WHERE子句避免列操作 。

关键词 sql 复合索引 WHERE子句 聚集索引 I/O 查询速度 查询机制 物理 排列 优化

在线阅读 下载PDF 职称材料

SQL语言的形式语义 被引量：4

8

作者 李旭帅 毛宇光 《微机发展》 2005年第3期14-16,共3页

对SQL查询的形式语义的研究有助于形式地证明两条SQL语句是否等价,从而消除了自然语言的二义性。SQL标准对SQL的语义规则进行了定义,但是并没有很好地处理不完全信息问题。文中以中介逻辑谓词演算系统MFM为基础,构造一个形式的三值谓词... 对SQL查询的形式语义的研究有助于形式地证明两条SQL语句是否等价,从而消除了自然语言的二义性。SQL标准对SQL的语义规则进行了定义,但是并没有很好地处理不完全信息问题。文中以中介逻辑谓词演算系统MFM为基础,构造一个形式的三值谓词演算模型EPMC,然后通过语法转化规则把SQL查询转化为EPMC,从而完整地定义了SQL查询的形式语义。 展开更多

关键词 中介逻辑谓词演算MF^M 结构化查询语言 不完全信息

在线阅读 下载PDF 职称材料

SQL语言中的空值问题

9

作者 潘娜 毛宇光 韩波 《微机发展》 2004年第12期126-128,131,共4页

结构化查询语言(SQL)是关系数据库中重要的查询语言,同时由于关系数据库中空值存在的必要性,因此在对不完全信息数据库进行SQL操作时,如何正确地处理空值是一个很重要的研究方向。文中简述了SQL语言标准中对空值的描述,从理论角度分析... 结构化查询语言(SQL)是关系数据库中重要的查询语言,同时由于关系数据库中空值存在的必要性,因此在对不完全信息数据库进行SQL操作时,如何正确地处理空值是一个很重要的研究方向。文中简述了SQL语言标准中对空值的描述,从理论角度分析了引入空值后SQL语言的语义变化,同时从应用角度阐述了引入空值后所引发的一系列问题,最后介绍了下一代数据库语言标准SQL3对NULL处理方法的扩充。由于现实数据库信息的不完全性,文中对于如何正确地认识SQL语言中的空值问题具有很大的借鉴意义。 展开更多

关键词 关系数据库 结构化查询语言 空值 三值逻辑

在线阅读 下载PDF 职称材料

PL/SQL在ORACLE数据库应用程序中的应用 被引量：2

10

作者 熊亮春 《江西广播电视大学学报》 2008年第1期75-77,共3页

本文叙述了如何使用PL/SQL编写的存储程序,来协助开发数据库应用。介绍了使用存储过程可以带来的好处,同时也讨论了一些使用存储过程而给应用程序开发带来不利的方面。最后本文也对性能调正提出了相应的建议。

关键词 PL/sql 存储过程:性能改善 业务逻辑

在线阅读 下载PDF 职称材料

SQL Server 2000触发器运行机制的逻辑分析

11

作者 牛学军 《昆明冶金高等专科学校学报》 CAS 2008年第3期33-36,共4页

对初学者来说,触发器运行机制还是很复杂和抽象的。为SQL Server 2000的触发器运行过程建立一个直观易于理解的逻辑上的模型,能够粗浅的解释触发器的运行机制,从而使触发器运行机制学习变得更加容易。

关键词 sql SERVER 2000 触发器 运行机制 逻辑模型 回滚

在线阅读 下载PDF 职称材料

基于C#平台实现新能源端子压接方案计算系统的开发与设计

12

作者 邹黎 张文正 +2 位作者 奚雷康 张天祥 张博辉 《汽车实用技术》 2024年第12期16-19,共4页

目前行业内对新能源汽车线束端子压接高度均是通过试验、验证的方法进行确定,未涉及一种端子压接方案前期策划系统,此系统可以在生产开工前快速、准确地计算出端子的压接方案,助力生产过程顺利推进。文章主要针对新能源汽车端子压接高... 目前行业内对新能源汽车线束端子压接高度均是通过试验、验证的方法进行确定,未涉及一种端子压接方案前期策划系统,此系统可以在生产开工前快速、准确地计算出端子的压接方案,助力生产过程顺利推进。文章主要针对新能源汽车端子压接高度计算方法进行研究,介绍了新能源汽车线束端子压接高度理论计算方法、数据库创建、用户界面以及计算系统的设计与实现,并且经过理论计算与实践对比验证,两者结论相同,对线束端子压接策划方案提供科学的参考和指导。 展开更多

关键词 新能源汽车 线束端子 压接高度 C#平台 sql Server 数学几何逻辑建模

在线阅读 下载PDF 职称材料

基于关系数据库的模糊查询技术 被引量：8

13

作者 樊新华 《计算机与数字工程》 2009年第10期149-152,156,共5页

在关系数据库中,SQL只能处理精确查询,而现实中存在许多模糊查询的问题。在模糊逻辑理论的基础上,提出了关系数据库的模糊查询思路,并详细地讨论了在数值和字符属性上的实现方法。实现方法不仅对数据库的查询进行了扩展,而且对实际系统... 在关系数据库中,SQL只能处理精确查询,而现实中存在许多模糊查询的问题。在模糊逻辑理论的基础上,提出了关系数据库的模糊查询思路,并详细地讨论了在数值和字符属性上的实现方法。实现方法不仅对数据库的查询进行了扩展,而且对实际系统的开发也有一定的借鉴作用。 展开更多

关键词 关系数据库 模糊逻辑 模糊查询 sql查询

在线阅读 下载PDF 职称材料

Web渗透测试方法研究 被引量：7

14

作者 孙梅 郭宇燕 +1 位作者 韩超 余磊 《通化师范学院学报》 2019年第2期60-67,共8页

近年来Web安全漏洞频发,传统的SQL注入、XSS注入、上传漏洞,以及与业务相关的逻辑漏洞一旦被攻击者发现和利用,将对Web安全造成威胁,因此渗透测试对Web安全的研究就显得尤为重要.该文通过搭建测试站点,结合相关工具,设计和实现了一些具... 近年来Web安全漏洞频发,传统的SQL注入、XSS注入、上传漏洞,以及与业务相关的逻辑漏洞一旦被攻击者发现和利用,将对Web安全造成威胁,因此渗透测试对Web安全的研究就显得尤为重要.该文通过搭建测试站点,结合相关工具,设计和实现了一些具体的渗透测试方法对该网站的主要漏洞进行渗透测试,分析Web安全漏洞的原理,并给出修复方案.这些渗透测试方法不仅可以作为Web漏洞检测的依据,还可以作为Web安全教学重要的实践方案. 展开更多

关键词 WEB安全 sql注入 XSS 上传漏洞 逻辑漏洞

在线阅读 下载PDF 职称材料

基于ORACLE数据库的数据管理措施

15

作者 胡波 叶念渝 《兵工自动化》 2005年第1期45-46,共2页

基于 Oracle 数据库的系统数据库管理旨在数据操作和双机热备的安全。以某政府市区乡三级综合信息数据库管理为例,设计上中下三层数据库管理模块。用数据管道实现数据的合并与分离;用嵌入式 SQL 语句实现数据删除;用 ORACLE 逻辑备份实... 基于 Oracle 数据库的系统数据库管理旨在数据操作和双机热备的安全。以某政府市区乡三级综合信息数据库管理为例,设计上中下三层数据库管理模块。用数据管道实现数据的合并与分离;用嵌入式 SQL 语句实现数据删除;用 ORACLE 逻辑备份实现系统的备份与恢复;双机热备实现数据库的连续性和安全性。 展开更多

关键词 数据库 数据管道 嵌入式sql 逻辑备份 双机热备

在线阅读 下载PDF 职称材料

数据库中的模糊规则获取方法

16

作者 杨天奇 《计算机工程与应用》 CSCD 北大核心 2002年第23期204-205,共2页

分析了规则化的模糊逻辑原理。介绍了模糊化的规则获取和推理方法,由分析可以看出,基于模糊逻辑的规则获取和推理方法能在数据库中找出其规则,并且在实际系统中有着一定的意义。

关键词 数据库 模糊规则获取方法 模糊逻辑 模糊推理 隶属函数

在线阅读 下载PDF 职称材料

基于PDA的模糊逻辑故障诊断智能终端设计

17

作者 杨小强 鲁国良 +1 位作者 韩军 曹中杰 《机床与液压》 北大核心 2011年第21期162-164,167,共4页

为了克服工程装备现场复杂环境下的故障诊断困难,开发了基于模糊逻辑的工程机械故障诊断终端。探讨了基于模糊关系逻辑的故障诊断系统在PDA上的实现方法,简要介绍了基于模糊逻辑关系方程的智能诊断原理。设计了智能诊断终端的结构,系统... 为了克服工程装备现场复杂环境下的故障诊断困难,开发了基于模糊逻辑的工程机械故障诊断终端。探讨了基于模糊关系逻辑的故障诊断系统在PDA上的实现方法,简要介绍了基于模糊逻辑关系方程的智能诊断原理。设计了智能诊断终端的结构,系统地阐述了诊断终端的应用及功能实现过程。实践表明:该诊断终端对工程机械故障的现场检测与快速诊断具有非常大的作用。 展开更多

关键词 PDA 模糊逻辑 工程机械 故障诊断 sql SERVER CE数据库

在线阅读 下载PDF 职称材料

奶牛体征参数处理分析软件的设计 被引量：1

18

作者 吴瑞辉 李亚敏 +2 位作者 周玉宏 郭大鹏 赵辉 《农机化研究》 北大核心 2009年第10期117-119,共3页

奶牛发情与奶牛的生理参数紧密相关。为此,介绍了以VC++.NET为开发工具,以SQL Server 2000为后台数据库及应用C++面向对象高级程序设计语言开发的软件。软件在VC++.NET的环境下利用ADO实现对SQL Server 2000数据库的访问和数据存储,同... 奶牛发情与奶牛的生理参数紧密相关。为此,介绍了以VC++.NET为开发工具,以SQL Server 2000为后台数据库及应用C++面向对象高级程序设计语言开发的软件。软件在VC++.NET的环境下利用ADO实现对SQL Server 2000数据库的访问和数据存储,同时软件运用模糊逻辑数学方法建立数学模型作为奶牛发情判断的理论依据。将软件安装在与数据采集设备相连的计算机中,并通过对奶牛哺乳期和发情期的生理参数变化的数据分析,对奶牛的发情进行准确的预报。 展开更多

关键词 奶牛体征 生理参数 VC++.NET 模糊逻辑 ADO sql SERVER 2000

在线阅读 下载PDF 职称材料

外联接的等价变换与逻辑分析

19

作者 张二忠 楼荣生 《计算机科学》 CSCD 北大核心 1997年第6期73-76,共4页

在关系数据库巾,外联接是在允许空值情次下很重要的操作,()racle,Sybase等数据库管系统能够文持SQL外联接操作。由于目前对9QI,外联接和经典外联接研究还较少,因而限制了们的使用。

关键词 关系数据库 外联接 等价变换 逻辑分析

在线阅读 下载PDF 职称材料

资产保全管理信息系统的设计与实现

20

作者 张亚新 《计算机光盘软件与应用》 2011年第11期190-191,共2页

基于银行管理的需求而提出的资产保全管理信息系统，利用JSP＋Servlet＋Java Bean设计并实现。该系统的建立与实施，有助于对银行不良资产的管理，并能够提供监督管理的有效手段。到目前为止，软件基本功能都已经实现并得到成功应用。

关键词 资产保全 管理信息系统 WEB logic sql SERVER 2005

在线阅读 下载PDF 职称材料