Keeping Secrets in Resource Aware Components


We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication of a component, interact with it and monitor the components resource usage. We use an automata model of components in which each transition is tagged with resource usage information… (More)
DOI: 10.1016/j.entcs.2007.07.006


4 Figures and Tables