×

CardKt:Java卡上的自动多模式演绎,用于多应用程序安全。 (英语) Zbl 0980.68975号

Attali,Isabelle(编辑)等人,《智能卡上的Java:编程和安全》。2000年9月14日在法国戛纳举行的2000年JavaCard第一届国际研讨会。修订论文。柏林:斯普林格。莱克特。注释计算。科学。2041,38-51(2001年)。
摘要:我们描述了一个Java程序的实现,该程序在Java智能卡上的命题多模态逻辑中执行自动演绎。Java智能卡的狭小空间限制使得实现变得非常简单。一个潜在的应用程序是使用多模式逻辑编码的安全策略,确保从互联网下载的小程序符合存储在Java卡上的个性化安全权限。特别是,模式逻辑可能有助于确保Java卡上预先存在的多个小程序之间先前检查过的“信任”关系不会因添加新小程序而中断。也就是说,通过使用多模态逻辑来表示权限和义务的概念,我们可以将安全检查转化为板载定理证明任务。我们的定理证明器本身可以“及时”下载以执行检查,然后在检查完成后删除以释放卡上的空间。因此,我们的工作是将形式逻辑应用于多应用Java卡的安全性的“原理证明”。
关于整个系列,请参见[Zbl 0968.68557号].

MSC公司:

68单位99 计算方法和应用
68甲15 编程语言理论
68第25页 数据加密(计算机科学方面)
PDF格式BibTeX公司 XML格式引用