胡荣贵
【姓名】 胡荣贵
【职称】 副教授;
【研究领域】 互联网技术;计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 类型安全策略,类型注解,TAAS,类型检查,移动代码,证明方法,内存地址,类型安全,携带证明的代码,编译器,安全策略,认证,类型化,汇编器,安全策略系统,循环不变式,全检,推导规则,内存,寄存器,子目...
【工作单位】 中国科学技术大学
【曾工作单位】 中国科学技术大学;
【所在地域】 合肥
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/5 5 5 2 9 285
中国期刊全文数据库    共找到5篇
[1]郭帆,陈意云,胡荣贵.基于类型化内存地址的安全策略的设计与实现[J]计算机研究与发展.2003,(07)
[2]郭帆,陈意云,胡荣贵,张昱.带类型注解的汇编器TAAS的设计与实现[J]小型微型计算机系统.2003,(11)
[3]胡荣贵,陈意云,郭帆,张昱.基于类型注解的认证编译器设计与实现[J]计算机研究与发展.2004,(01)
[4]胡荣贵,陈意云,郭帆,张昱.基于提示的移动代码安全检查[J]小型微型计算机系统.2004,(02)
[5]郭帆;陈意云;胡荣贵;.基于语言的移动代码安全问题[J]计算机科学.2002,(11)
更多