Construction and An安全、保密及可互操作智能装置构成与分析/会议录alysis of Safe, Secure, and Interoperable Smart Devices

Mobile Resource Guarantees for Smart Devices
History-Based Access Control and Secure Information Flow
The Spec# Programming System: An Overview
Mastering Test Generation from Smart Card Software Formal Models re
A Mechanism for Secure, Fine-Grained Dynamic Provisioning　of Applications on Small Devices
ESC/Java2: Uniting ESC/Java and JML - Progress and Issues in Building　and Using ESC/Java2, Including a Case Study Involving the Use　of the Tool to Verify Portions of an Internet Voting Tally System
A Type System for Checking Applet Isolation in Java Card
Verification of Safety Properties in the Presence of Transactions
Modelling Mobility Aspects of Security Policies
Smart Devices for Next Generation Mobile Services
A Flexible Framework for the Estimation of Coverage Metrics　in Explicit State Software Model Checking
Combining Several Paradigms for Circuit Validation and Verification
Smart Card Research Perspectives
Author Index