×

JCML公司

swMATH标识: 6406
软件作者: 达科斯塔,翁贝托苏扎;莫雷拉,安娜玛丽亚马丁斯;穆斯坎特,马丁A。;索扎·内托,普雷克多A。
说明: JCML:Java卡程序运行时验证的规范语言javacard是Java的一个版本,它是为在存储和处理受到严重限制的设备上运行而开发的。在这些设备上运行的applet通常用于关键的、高度分布式的移动环境中。他们被要求是便携和安全的。通常,应用程序的需求要求使用动态的卡验证,但是大多数为提高javacard applet的安全性而开发的研究都集中在静态验证方法上。本文提出了一种基于契约设计的运行时验证方法,以提高Java卡应用程序的安全性。为此,我们提出了JCML(javacard modeling language)一种源于JML(javamodelinglanguage)的规范语言及其实现:生成运行时验证代码的编译器。我们还介绍了一些实验和质量指标。本文扩展了作者以前发表的工作,给出了JCML语言的更完整和更精确的定义,以及新的实验和结果。
主页: http://code.google.com/p/jcml/
关键词: 吉咪;Java卡;JCML公司;运行时验证
相关软件: 循环;Z;吉咪;日本日报;艾菲尔;喀拉喀托;可口可乐;Z/晚上
引用于: 2个出版物

引用于1个系列

1 计算机程序设计学

按年份列出的引文