Hidden-state modelling for modular analysis of information flow, protection and risk evaluation

用于信息流、保护和风险评估模块化分析的隐藏状态建模

• 批准号: DP0879529
• 负责人: Prof Charles Morgan
• 金额: $ 13.54万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2008
• 资助国家: 澳大利亚
• 起止时间: 2008-07-01 至 2011-06-30
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0879529
• 关键词: Hidden; state; modelling; modular; analysis

Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology. Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using. Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.

自动化正在爆炸式增长，陈词滥调不再是洗衣机、电视或汽车中有CPU芯片。如今，它们可能存在于我们的现金卡、护照中，很快就会出现在我们购物篮中的每一件物品上。 澳大利亚是采用和开发这种技术的领导者。 安全和隐私，对PC来说已经够难的了，因此涉及到更小，更多的设备，我们甚至可能没有意识到我们正在使用。 我们的研究旨在使其更容易和更有效地描述，然后成功地内置功能，加强安全性，而不会对可用性产生不利影响。