郭帆
【姓名】 郭帆
【职称】
【研究领域】 计算机软件及计算机应用;互联网技术;计算机硬件技术;
【研究方向】
【发表文献关键词】 类型安全策略,类型注解,TAAS,类型检查,证明方法,内存地址,类型安全,携带证明的代码,认证编译器,注解,优化,移动代码,安全策略,控制流图,编译器,类型化,边界检查,认证,子定型,汇编器,束流不稳...
【工作单位】 中国科学技术大学
【曾工作单位】 中国科学技术大学;
【所在地域】 合肥
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/13 9 9 7 15 941
中国期刊全文数据库    共找到9篇
[1]郭帆;王贵林;邹文康;陈林;谢卫平;.聚龙一号装置磁驱动加载实验的全电路模拟[J]强激光与粒子束.2018,(12)
[2]郭帆,陈意云,胡荣贵.基于类型化内存地址的安全策略的设计与实现[J]计算机研究与发展.2003,(07)
[3]郭帆,陈意云,胡荣贵,张昱.带类型注解的汇编器TAAS的设计与实现[J]小型微型计算机系统.2003,(11)
[4]胡荣贵,陈意云,郭帆,张昱.PCC中数组边界检查的优化和生成[J]小型微型计算机系统.2003,(12)
[5]胡荣贵,陈意云,郭帆,张昱.基于类型注解的认证编译器设计与实现[J]计算机研究与发展.2004,(01)
[6]胡荣贵,陈意云,郭帆,张昱.基于提示的移动代码安全检查[J]小型微型计算机系统.2004,(02)
[7]胡荣贵,陈意云,郭帆.机器语言的类型化及代码的安全检查[J]计算机研究与发展.2004,(06)
[8]郭帆,陆全明,王水.无碰撞激波上游低频波的激发及其对激波耗散机制的影响[J]空间科学学报.2005,(04)
[9]郭帆;陈意云;胡荣贵;.基于语言的移动代码安全问题[J]计算机科学.2002,(11)
更多
中国博士学位论文全文数据库    共找到2篇
[1]郭帆.感应电压叠加器中感应腔系统研制[D].中国科学技术大学.2019
[2]郭帆.虚拟化环境中资源管理机制的优化研究[D].中国科学技术大学.2019
更多