招募 发表于 2025-3-25 05:24:16

Issues in Smartcard Middlewareds. A natural solution is the use of service proxies to mediate between network clients and smartcards. Main requirements to such architectures are spontaneous and transparent service integration, remote access, and usage security. We discuss these requirements using the JiniCard system as an exampl

cyanosis 发表于 2025-3-25 10:24:52

http://reply.papertrans.cn/51/5008/500729/500729_22.png

Scleroderma 发表于 2025-3-25 12:25:50

http://reply.papertrans.cn/51/5008/500729/500729_23.png

适宜 发表于 2025-3-25 16:29:48

http://reply.papertrans.cn/51/5008/500729/500729_24.png

oracle 发表于 2025-3-25 23:53:02

Formal Specification and Verification of Java Card’s Application Identifier Classlated in the interface specification language JML. This language is also used to express the properties that are assumed about the native methods from the Util class that are used in the AID class. These properties include invariants for classes and behaviour specifications for methods; the latter g

Alveolar-Bone 发表于 2025-3-26 02:29:33

http://reply.papertrans.cn/51/5008/500729/500729_26.png

愉快么 发表于 2025-3-26 07:01:59

http://reply.papertrans.cn/51/5008/500729/500729_27.png

Meditate 发表于 2025-3-26 11:14:26

D. Bolignano,D. Le Métayer,C. Loiseauxinologists, endocrine surgeons, otolaryngologists and fellow.Endocrine Neoplasia is a comprehensive, updated, and clearly-written text covering the diseases for which endocrine surgical expertise is often needed. We look towards advances in the science and the art of endocrine surgery to continuousl

Mawkish 发表于 2025-3-26 13:52:19

http://reply.papertrans.cn/51/5008/500729/500729_29.png

GROUP 发表于 2025-3-26 16:52:04

P. Bieber,J. Cazin,V. Wiels,G. Zanon,El Marouan,P. Girard,J.-L. Lanetinologists, endocrine surgeons, otolaryngologists and fellow.Endocrine Neoplasia is a comprehensive, updated, and clearly-written text covering the diseases for which endocrine surgical expertise is often needed. We look towards advances in the science and the art of endocrine surgery to continuousl
页: 1 2 [3] 4 5
查看完整版本: Titlebook: Java on Smart Cards: Programming and Security; First International Isabelle Attali,Thomas Jensen Conference proceedings 2001 Springer-Verl