基本信息
浏览量:5
职业迁徙
个人简介
Education
Cornell University. Ph.D. in Computer Science.
Harvard University. B.A. in Mathematics.
Interests
I am interested in general in software systems in which processing is distributed over a wide-area network. The problems in this area include not only correct execution of the software's functions (where we must be concerned about failure of hosts and inconsistency among processes), but also issues of availability, response time, and efficient use of resources in which the wide-area network environment poses special challenges. An advantage of the QuO architecture in this environment is that it can detect and adapt to changes in system conditions that may result either from transient network events or from longer-term changes in system configuration.
My Ph.D. work concentrated on the formal specification and verification of the properties of Horus protocol layers. Using the Temporal Logic of Actions, one can specify Horus protocol stacks, or their individual layers, in terms of the communication properties they require from the network or other layers underneath them, and the properties they then support for the layers above. Moreover, it is feasible to automatically verify the properties of protocol stacks, given suitable specifications of the layers in the stack. This work was performed as part of the Securing and Hardening Horus project at Cornell University. I have developed a Java applet that gives a rough demonstration of the method of verifying the properties of Horus protocol stacks.
研究兴趣
论文共 12 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processingpp.207-222, (2009)
MM01: ACM Multimedia 2001
Ottawa
Ontario
Canada
October, 2001pp.15-18, (2001)
Computer Systems: Science & Engineering (2001): 97-107
引用0浏览0引用
0
0
mag(2000)
mag(1999)
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineeringpp.189-196, (1999)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn