借喻
发表于 2025-3-26 23:50:37
http://reply.papertrans.cn/24/2361/236067/236067_31.png
做方舟
发表于 2025-3-27 03:54:22
Zusammenfassung, Kritik und Ausblick,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.
modifier
发表于 2025-3-27 08:18:25
Zusammenfassung, Kritik und Ausblick,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
债务
发表于 2025-3-27 11:56:27
http://reply.papertrans.cn/24/2361/236067/236067_34.png
激怒某人
发表于 2025-3-27 15:12:09
Geschichte der Unterdruck-Flotation, environments are two among a lot of challenging issues. Next generation smart cards, so-called smart devices, are regarded as personal devices providing a secured execution and storage environment for application tasks and sensitive privacy information, respectively. Hardware evolution of smart dev
河流
发表于 2025-3-27 20:25:25
http://reply.papertrans.cn/24/2361/236067/236067_36.png
CLAN
发表于 2025-3-27 22:07:29
Diskussion der Versuchsergebnisse,he establish safety properties on it. After the first design step, we automatically translate the synthesizable VHDL into a functional form. The combination of symbolic simulation, automatic transfer function extraction, and theorem proving is used to show that the VHDL design is functionally compli
小臼
发表于 2025-3-28 02:19:50
https://doi.org/10.1007/978-3-322-99153-9n computing devices, next generation cards will consist in embedded Java micro-server platforms. Those platforms will be able to serve various types of services and applications thanks to two important system features: adaptability and maintainability. Two features that have to be carefully taken in
心胸狭窄
发表于 2025-3-28 09:53:09
http://reply.papertrans.cn/24/2361/236067/236067_39.png
温室
发表于 2025-3-28 14:15:27
History-Based Access Control and Secure Information Flow,ypes dependent on permission state. We also show that in contrast to stack inspection, confidential information can be leaked by the history-based access control mechanism itself. The analysis ensures a noninterference property formalizing confidentiality.