天津市自然科学基金(12JCZDJC20800)
- 作品数：7 被引量：348H指数：3
- 相关作者：张振虹韩智许静刘文杨巨峰更多>>
- 相关机构：南开大学天津大学山东交通学院更多>>
- 发文基金：天津市自然科学基金教育部人文社会科学研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于策略推导的访问控制漏洞测试用例生成方法被引量：1
- 2017年
- Web应用已经成为越来越流行的信息传输媒介.为了保护重要信息不被泄漏,许多Web应用设计了针对不同角色不同用户的访问控制机制.然而由于不完善的访问控制机制,使得访问控制漏洞仍普遍存在,攻击者可对Web应用的敏感数据进行非法访问.为了获得准确的访问控制机制,测试用例的准确性和有效性至关重要.然而,现有的测试用例生成方法存在漏报、冗余度高等缺陷.文中根据Web应用程序的访问控制模型,提出一种基于策略推导的测试用例生成方法.此方法从角色和用户两个级别发现对应的授权操作集合,推导Web应用程序的访问控制策略,并利用推导所得访问控制策略生成合法与非法两类测试用例.其中,合法用例用以对推导所得策略的正确性进行验证,非法用例通过违背授权约束生成,用以检测Web应用程序的访问控制漏洞.为了对方法的有效性进行验证,我们设计并实现原型系统ACV-Scanner,并将其运行在开源Web应用上.实验结果表明该方法在能全面检测各种类型的访问控制漏洞的前提下,对测试用例进行了精简,与同类研究对比,减少漏报,提高了效率.
- 文硕许静苑立英李晓虹徐思涵司冠南
- 关键词：软件测试WEB应用测试用例生成
- 一种交互感知的并行查询调度策略被引量：1
- 2015年
- 为了捕获数据库并行查询之间的交互作用,本文利用实验驱动的方法对查询交互进行性能建模,并基于性能模型提出了一种交互感知的并行查询调度策略,通过减小交互作用带来的消极影响来获得较好的系统性能。与其他调度算法的实验比较结果表明,交互感知的调度策略可以更好地提升数据库性能。
- 张青峰许静李珊珊
- 关键词：计算机体系结构并行调度
- 一个网构软件可信实体模型及基于评估的信任度量被引量：3
- 2013年
- 对于运行在开放、动态、难控的互联网环境的网构软件,其可信性保障与管理是一个重要课题.目前的研究多是基于信任网络思想的信任度量及演化模型,这种模型对于网构软件来说,在信任的来源、实体间信任关系的约束、信任传递参数的设置方面仍存在着不足.因此,本文引入可信计算中信任链模型的思想,提出了一个网构软件可信智能实体模型,并在此基础上构建了基于评估的信任度量方法.首先通过动态自省、显式自明和自主演化的机制保障了实体本身的可信,建立了信任的基点;并给出了形式化的描述及交互行为的动态监测;然后通过建立Bayes网络综合推荐信任并使用评估方法加以修正,以精确计算信任传递过程中的衰减参数,建立了信任链传递过程中的可信认证机制;最后通过实验验证了所提出方法的正确性.
- 许静司冠南杨巨峰文硕张彪
- 关键词：网构软件BAYES网络
- 开放课件课程:开放共享的变革与创新
- 2014年
- 开放课件课程发展的十余年间,在结构性和交互性等方面不断演进,其蕴含的"开放共享"理念也逐渐为人们所接受和关注,近年来更是随着"MOOCs风暴"的兴起在教育理念、模式和技术等几方面经历深刻变革与创新。
- 张振虹刘文韩智
- 关键词：开放课件开放课程OCW
- 从OCW课堂到MOOC学堂:学习本源的回归被引量：238
- 2013年
- 随着开放课件(OCW)运动的不断发展,一种新型开放资源模式——大规模在线开放课程(MOOC)应运而生。从OCW到MOOC的发展体现着学习中心的转移。OCW以教师的单向传授为主,而MOOC以学习者为中心,从学习者兴趣和需求出发,在轻松友好的学习氛围和先进的学习工具支持下,将获取知识的学习欲望转化为主动汲取并同化知识的学习行为,按需定制个性化学习方案,自发组织学习圈,随时随地展开学习。这种学习方式使得漠视"人"这一学习主体的"异化学习",回归为学习者可以感受到自由与创造的"快乐学习";使传统的以"教"为主的"课堂",发展为以"学"为主的网络在线"学堂";使学习者、教学者和学习环境各要素在以人为本的原则下相互适应,呈现出开放自由、和谐共生的状态。将MOOC与传统课堂教学相融合,能够为学习者提供无时间和地域要求、无费用和学历限制的学习环境;其以人为本的教育理念和更深程度上的开放共享,也对我国学分银行和开放大学建设具有一定借鉴意义。
- 张振虹刘文韩智
- 关键词：OCW学习生态系统
- 基于递推链代数与迭代序列敛散性的死循环检测被引量：2
- 2013年
- 该文针对两大类循环分别给出了非终止性判定的数学方法.首先,针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法.通过递推链代数将循环变量进行统一表示,根据运算规则推导出循环条件关于迭代次数的闭形式函数,然后通过约束求解以及单调性判断循环的非终止性.其次,针对一元非线性循环提出了基于迭代序列敛散性的分析方法.根据迭代函数以及不动点判断迭代函数产生的迭代序列的敛散性来判断循环的非终止性.实验部分采用Velroyen[20]的52组循环、文献[18-19,21-23]的23组循环、文献[3]以及自组的13组循环进行分析验证,结果表明该文所提出的方法能有效地判断循环的非终止性:若循环无法终止,可以推导出循环无法终止的变量约束;若循环可终止,则可以估算循环的迭代次数.
- 姬秀娟杨巨峰许静李晓虹封磊
- 微学习研究:现状与未来被引量：103
- 2013年
- 便携式个人学习工具与无线移动通讯技术正逐步走进学习者的生活,并推动着学习方式的悄然变革,以现代科学技术为支撑的数字化学习领域产生了移动学习、泛在学习、无缝学习、智慧学习、微学习等新兴学习方式,引领着学习革命的新浪潮。其中,微学习的概念一经提出便引起国内外学习专家的普遍关注,逐渐成为新的研究热点。该文首先厘清微学习的内涵、特点和理论基础,并比较微学习与移动学习、泛在学习、微课程等相关概念,在此基础上描绘并评述十年来微学习的国内外研究现状,由此预测了微学习的未来发展趋势。
- 张振虹杨庆英韩智
