Construction and An安全、保密及可互操作智能装置构成与分析/会议录alysis of Safe, Secure, and Interoperable Smart Devices
副标题:无
作 者:Gilles
分类号:
ISBN:9783540242871
微信扫一扫,移动浏览光盘
简介
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, held in Marseille, France in March 2004.
The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are devoted to trends in smart card research, operating systems and virtual machine technologies, secure platforms, security, application validation, verification, and formal modeling and formal methods.
目录
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
Construction and An安全、保密及可互操作智能装置构成与分析/会议录alysis of Safe, Secure, and Interoperable Smart Devices
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ:4006604884
云图客服:
用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×