Titlebook: Computer Security – ESORICS 2006; 11th European Sympos Dieter Gollmann,Jan Meier,Andrei Sabelfeld Conference proceedings 2006 Springer-Verl

Countermand

Timing-Sensitive Information Flow Analysis for Synchronous Systems,tems that allows one to model information leakage in a fine-grained way. We present an efficient decision procedure for system security and apply it to discover timing leaks in nontrivial hardware implementations of cryptographic algorithms.

烦忧

cushion

RENIN

License Transfer in OMA-DRM,r one of the major DRM standards, namely Open Mobile Alliance (OMA) DRM. The transfer operations include device compliance check, transfer between two devices (from two different domains), and license revocation within a domain. Our approach extends the user experience in using the DRM-protected digital content.

scrutiny

Hectic

Ostrich

GOAT

Climate Regions and Seasons in Israelolerant DataBase system (ITDB) is studied as an example. Our experimental results validate the models we proposed. Survivability evaluation is also conducted to study the impact of attack intensity and various system deficiencies on the survivability.

resistant