卡片

CardKt:Java卡上的自动多模式演绎,用于多应用程序安全。我们描述了一个在Java智能卡上执行命题多模逻辑自动推理的Java程序的实现。Java智能卡有限的空间限制使得实现变得非常重要。一个潜在的应用是确保从internet下载的小程序符合存储在Java卡上的个性化安全权限,该权限使用多模式逻辑编码的安全策略。特别是,模态逻辑可能有助于确保Java卡上预先存在的多个applet之间先前检查过的“信任”关系不会因添加新applet而被破坏。也就是说,通过使用多模态逻辑来表达权限和义务的概念,我们可以将安全检查转化为一个现有的定理证明任务。我们的定理证明程序本身可以“及时”下载以执行检查,然后在检查完成后删除以释放卡上的空间。因此,我们的工作是形式逻辑应用于多应用Java卡安全性的“原理证明”

zbMATH中的参考文献(参考文献1条,1标准件)

显示结果1/1。
按年份排序(引用)

  1. 戈雷,拉吉耶夫;Lan Duy Nguyen:CardKt:Java卡上用于多应用程序安全的自动多模式演绎(2001)