Silver Bullet Talks with Greg Morrisett

McGraw Gary

首页> 外文期刊>Security & Privacy, IEEE >Silver Bullet Talks with Greg Morrisett

【24h】

Silver Bullet Talks with Greg Morrisett

机译：银子弹与格雷格·莫里塞特会谈

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Gary McGraw interviews Greg Morrisett, the Allen B. Cutting Professor of Computer Science and associate dean for computer science and engineering at Harvard University. His current work is on applications of advanced type systems, model checkers, proof-carrying code, and inline reference monitors for building efficient and provably secure systems. He's also working on languages for sensor networks. Hear the full podcast of the interview at www.computer.org/security/podcasts/ or www.cigital.com/silverbullet/. The Web extra is the full transcript of the interview.

机译：加里·麦格劳（Gary McGraw）采访了哈佛大学（Allen B. Cutting）计算机科学教授，计算机科学与工程学副院长格雷格·莫里塞特（Greg Morrisett）。他目前的工作是应用高级类型系统，模型检查器，带有证明的代码以及内联参考监视器，以构建高效且可证明的安全系统。他还致力于传感器网络的语言。在www.computer.org/security/podcasts/或www.cigital.com/silverbullet/上收听采访的完整播客。 Web Extra是采访的完整笔录。

著录项

来源
《Security & Privacy, IEEE》 |2010年第5期|p.6-9|共4页
作者
McGraw Gary;
展开▼
作者单位

Cigital;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Gary McGraw; Greg Morrisett; advanced type systems; inline reference monitors; model checkers; proof-carrying code;

机译：Gary McGraw;Greg Morrisett;高级类型系统;嵌入式参考监视器;模型检查器;带有验证的代码;

相似文献

外文文献
中文文献
专利

1. Silver Bullet Talks with Nick Weaver [J] . Gary McGraw IEEE security & privacy . 2018,第4期

机译：银子弹与尼克·韦弗谈
2. Silver Bullet Talks with Tanya Janca [J] . Gary McGraw IEEE security & privacy . 2018,第5期

机译：银弹子弹与Tanya Janca对话
3. Silver Bullet Talks With Kathleen Fisher [Interview] [J] . McGraw Gary IEEE security & privacy . 2018,第6期

机译：银子弹与凯瑟琳·费舍尔对话[访谈]
4. Integrating Types and Specifications for Secure Software Development Greg Morrisett [C] . Harvard University Computer network security . 2010

机译：集成类型和规格以进行安全软件开发Greg Morrisett
5. Silver bullets, subjugation, and adaptation: Why some militaries thrive and others falter in the face of technological change. [D] . Huston, Nathaniel R. 2016

机译：银弹，征服和适应：为什么有些军队在技术变革面前蓬勃发展而另一些却步履蹒跚。
6. A silver bullet? The role of radiology information system data mining in defining gunshot injury trends at a South African tertiary-level hospital [O] . Dale K. Creamer, Asif Bagadia, Clive Daniels, 2021

机译：银耳子弹？放射信息系统数据挖掘在南非三级医院定义枪支损伤趋势中的作用
7. Silver Bullet Talks with Tanya Janca [O] . Gary McGraw 2018

机译：银色子弹与Tanya Janca谈话

Silver Bullet Talks with Greg Morrisett

摘要

著录项

相似文献

相关主题

期刊订阅