Abstract is missing.
- Mobile Resource Guarantees for Smart DevicesDavid Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark. 1-26 [doi]
- History-Based Access Control and Secure Information FlowAnindya Banerjee, David A. Naumann. 27-48 [doi]
- The Spec# Programming System: An OverviewMike Barnett, K. Rustan M. Leino, Wolfram Schulte. 49-69 [doi]
- Mastering Test Generation from Smart Card Software Formal ModelsFabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre. 70-85 [doi]
- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small DevicesWilliam R. Bush, Antony Ng, Douglas N. Simon, Bernd Mathiske. 86-107 [doi]
- ESC/Java2: Uniting ESC/Java and JMLDavid R. Cok, Joseph Kiniry. 108-128 [doi]
- A Type System for Checking Applet Isolation in Java CardWerner Dietl, Peter Müller, Arnd Poetzsch-Heffter. 129-150 [doi]
- Verification of Safety Properties in the Presence of TransactionsReiner Hähnle, Wojciech Mostowski. 151-171 [doi]
- Modelling Mobility Aspects of Security PoliciesPieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa. 172-191 [doi]
- Smart Devices for Next Generation Mobile ServicesChie Noda, Thomas Walter. 192-209 [doi]
- A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model CheckingEdwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby. 210-228 [doi]
- Combining Several Paradigms for Circuit Validation and VerificationDiana Toma, Dominique Borrione, Ghiath Al Sammane. 229-249 [doi]
- Smart Card Research PerspectivesJean-Jacques Vandewalle. 250-256 [doi]