Titlebook: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices; International Worksh Gilles Barthe,Lilian Burdy,Traian Muntean

空隙

书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices影响因子(影响力)




书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices影响因子(影响力)学科排名




书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices网络公开度




书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices网络公开度学科排名




书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices被引频次




书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices被引频次学科排名




书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices年度引用




书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices年度引用学科排名




书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices读者反馈




书目名称Construction and Analysis of Safe, Secure, and Interoperable Smart Devices读者反馈学科排名

不成比例

History-Based Access Control and Secure Information Flow, control in the form of Abadi and Fournet’s history-based access control mechanism. The Java virtual machine’s permission-based stack inspection mechanism provides dynamic access control and is useful in protecting trusted callees from untrusted callers. In contrast, history-based access control pro

臭了生气

conceal

Cirrhosis

A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices,le applications on such devices. This paper presents a simple mechanism for performing such provisioning and updating, even if the applications are mutually distrustful. The mechanism extends CLDC Java.technology with a classfile attribute that carries the certificates necessary to enable the added

纬线

ESC/Java2: Uniting ESC/Java and JML,e Java Modeling Language (JML). The ESC/Java2 project, whose progress is described in this paper, builds on the final release of ESC/Java from DEC/SRC in several ways. It parses all of JML, thus can be used with the growing body of JML-annotated Java code; it has additional static checking capabilit

纬线

A Type System for Checking Applet Isolation in Java Card,namic checks in the Java Card Virtual Machine. This paper describes a refined type system for Java Card that enables static checking of applet isolation. With this type system, firewall violations are detected at compile time. Only a special kind of downcast requires dynamic checks.

收集

Verification of Safety Properties in the Presence of Transactions,ification of . programs considerably more difficult, because they cannot be formalised in a logic based on pre- and postconditions. The KeY system includes an interactive theorem prover for . source code that models the full . standard including transactions. Based on a case study of realistic size

avenge

无聊点好