A Framework for Secure and Survivable Transaction Processing

安全且可生存的事务处理框架

• 批准号: 0242258
• 负责人: Indrajit Ray
• 金额: $ 15.22万
• 依托单位: Colorado State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-06-01 至 2006-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0242258&HistoricalAwards=false
• 关键词: Framework; Secure; Survivable; Transaction; Processing

The project will develop a model for secure survivable transaction processing system. Special emphasis will be on integrity and availability issues for transactions. The outcome of the research will be a flexible framework for transaction processing. Specifically the following activities will be carried out:(i) Investigate how the different types of data and control flow dependencies impact secure transaction processing(ii) Formalize the notion of well behaved transaction(iii) Develop the secure multiform transaction model as a tool-kit approach(iv) Explore recovery issues for secure transactions

该项目将开发一个安全的可生存事务处理系统的模型。将特别强调交易的完整性和可用性问题。研究的结果将是一个灵活的交易处理框架。具体而言，将开展以下活动：(1)调查不同类型的数据和控制流依赖关系如何影响安全交易处理(2)将行为良好的交易的概念形式化(3)开发作为工具包方法的安全多形式交易模型(4)探索安全交易的恢复问题