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

自动化正在爆炸性地增加，人们不再认为洗衣机、电视或汽车中有CPU芯片。如今，它们可能会出现在我们的提款卡、护照上，很快还会出现在我们购物篮的每一件商品上。澳大利亚在采用和开发这项技术方面处于领先地位。 因此，安全和隐私对于个人电脑来说已经很难了，因此涉及到更小、更多的设备，而我们可能甚至都没有意识到我们正在使用这些设备。 我们的研究旨在使描述更容易和更有效，然后成功地内置功能，以加强安全性，而不会对可用性造成不利影响。

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.