期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
视觉图像在中世纪文化传播中的语义
被引量：
2
1
作者
苏洋
《长春工程学院学报（社会科学版）》
2014年第2期79-81,共3页
通过对中世纪艺术作品图像的诠释,了解了基督教在中世纪文化中的主导作用,对基督图像形象化和象征性的解读,促使中世纪艺术作为一种新的视觉图像符号登上了历史的舞台。
关键词
中世纪文化
基督教
视觉图像
传播
语义
下载PDF
职称材料
面向Java EE程序的SQLIA漏洞分析和验证方法
被引量：
11
2
作者
郭帆
范威威
《计算机科学与探索》
CSCD
北大核心
2021年第2期270-283,共14页
SQLIA漏洞破坏Web后台数据库的完整性,一直是Web应用安全的主要威胁。提出一种检测和验证Java Web程序的SQLIA漏洞的解决方案,将静态分析与动态验证相结合,并且形式化定义指令级污点传播操作语义,能够有效跟踪跨文件和跨页面的污点传播...
SQLIA漏洞破坏Web后台数据库的完整性,一直是Web应用安全的主要威胁。提出一种检测和验证Java Web程序的SQLIA漏洞的解决方案,将静态分析与动态验证相结合,并且形式化定义指令级污点传播操作语义,能够有效跟踪跨文件和跨页面的污点传播。静态分析首先对Source进行预处理和分类得到真实可靠的Source集合,然后应用方法、请求、会话、方法调用等多重关系匹配潜在的Source和Sink对,使得分析过程可以过滤无关Source和Sink,最后结合静态污点分析和活跃变量分析排除不可能存在污点传播路径的Source和Sink。动态验证首先对程序插桩,然后在执行程序的同时进行动态污点传播并生成Trace,基于Trace验证静态分析结果的正确性,获得真实污点传播路径的漏洞集合。原型系统基于Soot框架实现,对若干开源程序的实验结果表明了方法的有效性。
展开更多
关键词
SQL注入
污点
传播
语义
静态分析
活跃变量分析
插桩
动态验证
下载PDF
职称材料
题名
视觉图像在中世纪文化传播中的语义
被引量：
2
1
作者
苏洋
机构
淮北师范大学美术学院
出处
《长春工程学院学报（社会科学版）》
2014年第2期79-81,共3页
文摘
通过对中世纪艺术作品图像的诠释,了解了基督教在中世纪文化中的主导作用,对基督图像形象化和象征性的解读,促使中世纪艺术作为一种新的视觉图像符号登上了历史的舞台。
关键词
中世纪文化
基督教
视觉图像
传播
语义
Keywords
the medieval culture
Christianity
visual images
spread the semantic
分类号
G206 [文化科学—传播学]
下载PDF
职称材料
题名
面向Java EE程序的SQLIA漏洞分析和验证方法
被引量：
11
2
作者
郭帆
范威威
机构
江西师范大学计算机信息工程学院
出处
《计算机科学与探索》
CSCD
北大核心
2021年第2期270-283,共14页
基金
国家自然科学基金(61562040)。
文摘
SQLIA漏洞破坏Web后台数据库的完整性,一直是Web应用安全的主要威胁。提出一种检测和验证Java Web程序的SQLIA漏洞的解决方案,将静态分析与动态验证相结合,并且形式化定义指令级污点传播操作语义,能够有效跟踪跨文件和跨页面的污点传播。静态分析首先对Source进行预处理和分类得到真实可靠的Source集合,然后应用方法、请求、会话、方法调用等多重关系匹配潜在的Source和Sink对,使得分析过程可以过滤无关Source和Sink,最后结合静态污点分析和活跃变量分析排除不可能存在污点传播路径的Source和Sink。动态验证首先对程序插桩,然后在执行程序的同时进行动态污点传播并生成Trace,基于Trace验证静态分析结果的正确性,获得真实污点传播路径的漏洞集合。原型系统基于Soot框架实现,对若干开源程序的实验结果表明了方法的有效性。
关键词
SQL注入
污点
传播
语义
静态分析
活跃变量分析
插桩
动态验证
Keywords
structured query language(SQL)injection
taint propagation semantics
static analysis
live variable analysis
instrumentation
dynamic verification
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
视觉图像在中世纪文化传播中的语义
苏洋
《长春工程学院学报（社会科学版）》
2014
2
下载PDF
职称材料
2
面向Java EE程序的SQLIA漏洞分析和验证方法
郭帆
范威威
《计算机科学与探索》
CSCD
北大核心
2021
11
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
