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

点击翻译按钮获取中文摘要

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.