李阳

作品数：7被引量：14H指数：3
导出分析报告
供职机构：杭州师范大学更多>>
发文主题：网络安全异步长周期便秘安全性更多>>
发文领域：自动化与计算机技术文化科学理学电子电信更多>>
发文期刊：《计算机时代》《计算机教育》《计算机系统应用》《计算机工程》更多>>
所获基金：浙江省自然科学基金浙江省教育厅科研计划浙江大学城市学院教师科研基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
C程序设计课程的框架式教学法被引量：3
《计算机教育》2013年第10期92-96,共5页胡斌 李阳 周迪斌 梁锡坤 
杭州师范大学课程教学模式改革专项项目(杭师大教[2011]16);杭州师范大学第一批"本科教学创一流工程"立项项目(杭师大[2011]222)
针对高校计算机相关专业C程序设计课程教学质量不高的问题,提出以构建和完善学生知识系统为核心的框架式教学法。该教学法根据学习过程中的认知特点,在重构教学内容的基础上,将教学过程分为2个阶段,第1阶段通过核心知识的讲授帮助学生...
关键词：C程序设计 教学法 认知 
基于符号模型检验的可信跨域协作系统验证方法
《浙江大学学报（工学版）》2011年第9期1558-1565,1635,共9页胡斌 李阳 高济 
国家自然科学基金资助项目(61070153/F020701);2010年浙江省优秀青年教师资助计划;浙江省教育厅资助项目(Y200805962)
针对规范调控的可信跨域协作系统属性验证的困难,提出一种基于符号模型检验的可信跨越协作系统验证方案.该方案包括规范语法及其状态语义、系统抽象模型、验证算法三大部分.其中规范的状态语义是方案的核心,它将规范集映射为其所对应的...
关键词：形式验证 符号模型检验 跨域协作 
基于面向服务体系结构的安全异步Web服务被引量：3
《浙江大学学报（工学版）》2009年第2期338-343,共6页李阳 陈观林 
浙江省自然科学基金资助项目(Y107631);江苏省网络与信息安全重点实验室开放课题基金资助项目(BM2003201-5);浙江省教育厅科研项目(20061290)
针对面向服务的体系结构(SOA)的服务异步调用的安全性问题,提出了网络异步调用的形式化语义模型,明确了同域调用、自调用、异域调用和异域回调的概念,并且阐述了AMHKA安全算法的逻辑语义过程.分析了级联式异步调用过程的语义,针对AMHKA...
关键词：异步服务 中间件服务 性能优化 网络安全 
无线局域网入侵防御系统的研究和设计
《计算机系统应用》2008年第12期6-10,共5页陈观林 李阳 
浙江省自然科学基金项目(Y107631);浙江大学城市学院教师科研基金项目(J52108001)
入侵防御系统是一种新型的网络安全技术,为了对无线局域网的入侵攻击行为进行实时监测和主动响应,设计了一个WLAN入侵防御系统模型——SmartWIPS。系统利用入侵诱骗技术和规划识别方法对无线网络数据包进行分析,能够智能识别攻击者的入...
关键词：无线局域网 入侵防御系统 入侵诱骗 规划识别 网络安全 
基于网络方式的计算机基础教学模式被引量：1
《计算机时代》2007年第8期23-24,共2页李阳 
文章以某些基础课程为讨论对象,结合实践经验,从网络发展趋势、社会背景、技术潮流和网络化教学模式等方面论述了如何根据最新的技术和工程化的特点,改革计算机基础教学模式。
关键词：安全 REKEY 信任域 SSH 
动态数据库的ORM实现被引量：3
《计算机时代》2007年第7期4-6,共3页王禺 李阳 
针对现有的ORM组件不能实现运行时动态改变数据库结构的不足,文章提出了一种动态数据库的ORM解决方案,该方案从分析设计数据库的基本原则入手,给出了一种将索引表和动态数据表相结合的ORM模型,通过索引表间接实现了动态数据库的ORM,弥...
关键词：动态数据库 ORM 索引表 
一种EJB体系结构性能的研究被引量：4
《计算机工程》2007年第1期68-70,73,共4页何俊 李阳 
EEJBM体系结构采用服务器路由和构件调用预测算法来提高EJB应用系统的效率,把优化的重点放在使用Register-Provid来提供高效服务器地址和使用EJBPOOL来缓冲EJB构件的连接过程。文中分析了3种EJBPOOL中的构件预测替换策略,并且讨论每个...
关键词：EJB 性能 算法 预测 效率 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部