雅加达

JaKarTa是一个用于指定和推理JavaCard平台的工具集。该工具集的主要组成部分包括:雅加达规范语言(JSL),一个用于生成高度可读的可执行规范的前端;JaKarTa Transformation Kit(JTK),一个通过抽象和细化操作和转换JSL规范的程序;JaKarTa Prover Interface(JPI),一种将JSL规范转换为证明助手的编译器;JaKarTa Automation Kit(JAK),一个支持在证明助手中对可执行规范进行推理的工具集。这项工作的目标是从JavaCard虚拟机的规范中抽象出经过认证的字节码验证器。在项目开发中,以虚拟机卡为输入卡的认证卡规范。这是一个防御性的虚拟机,通过抽象,它可以转换成字节码验证器和攻击性虚拟机。


zbMATH参考文献(参考 18篇文章 参考,1标准件)

显示第1至18个结果,共18个。
按年份排序(引用)

  1. Bertolissi,Clara;Fernández,Maribel:分布式环境访问控制的元模型:应用和属性(2014)
  2. Sewell,Peter;Nardelli,Francesco Zappa;Owens,Scott;Peskine,Gilles;Ridge,Thomas;Sarkar,Susmit;韩国Strniša:Ott:对工作语义学家的有效工具支持(2010)
  3. Besson,Frédéric;Cachera,David;Jensen,Thomas;David Pichardie:通过抽象解释进行的认证静态分析(2009)
  4. 系统化:Java虚拟机中轻量级CPU计算和控制的程序转换(2008)
  5. 基于先验距离的Suzuki-Saters空间反问题解(基于Suzuki-Saters的空间反问题解;2008)
  6. Suzuki,Satomi;Caumon,Guillaume;Caers,Jef:结构建模的动态数据集成:使用基于距离的模型参数化的模型筛选方法(2008)
  7. Andrew Harrison;Taylor,Ian:点对点上下文中的Web服务资源框架(2006)
  8. Barthe,Gilles;Courtieu,Pierre;Dufay,Guillaume;Melo de Sousa,Simão:类型化低级语言的工具辅助规范和验证(2005)
  9. 大卫·拉森(David Rusa)2005年《建构主义数据分析》;大卫·拉森(David Rusa);卡舒特·哈尔德(David Rusa)2005年《建构主义数据分析》;大卫·拉森(David Rusa)和《建构主义数据分析》(Cacheflow,2005年)
  10. Khalid Qahman;Larabi,Abdelkader;Ouazar,Driss;Naji,Ahmed;Cheng,Alexander H.-D.:沿海含水层地下水的最佳和可持续开采(2005)
  11. Boite,Olivier:扩展归纳类型的证明重用(2004)
  12. Barthe,Gilles;Stratulat,Sorin:JavaCard平台的隐式归纳法验证(2003)
  13. Barthe,Gilles;Courtieu,Pierre:关于Coq中可执行规范的有效推理(2002)
  14. Barthe,Gilles;Courtieu,Pierre;Dufay,Guillaume;de Sousa,Simão Melo:JavaCard平台的工具辅助规范和验证(2002)ioport公司
  15. Barthe,Gilles;Dufay,Guillaume;Jakubiec,Line;Melo de Sousa,Simão:进攻和防御JavaCard虚拟机之间的正式通信(2002)
  16. Sarjon,Defit;Mohd,Noor Md Sap:使用粗糙集和关联规则方法的关联规则(2002)
  17. 王艳飞;张燕青;贝尔卡辛,赛义德;桑德拉曼,拉吉:实时模糊个性化网络股票信息代理(2002)
  18. Barthe,G.;Dufay,G.;Huisman,M.;de Sousa,S.Melo:雅加达:关于JavaCard推理的工具集(2001)