Source code verification of a secure payment applet

机译：安全支付小程序的源代码验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jacobs Bart; Oostdijk Martijn; Warnier Martijn;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Source code verification of a secure payment applet [J] . Bart Jacobs, Martijn Oostdijk, Martijn Warnier Journal of Logic and Algebraic Programming . 2004,第1a2期

机译：安全支付小程序的源代码验证
2. Checking secure information flow in Java bytecode by code transformation and standard bytecode verification [J] . C. Bernardeschi, N. De Francesco, G. Lettieri, Software . 2004,第13期

机译：通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
3. A lightweight and secure NFC-base mobile payment protocol ensuring fair exchange based on a hybrid encryption algorithm with formal verification [J] . ChaleeThammarat, WerasakKurutach International journal of communication systems . 2019,第12期

机译：轻量级且安全的，基于NFC的移动支付协议，基于带有正式验证的混合加密算法，确保公平交换
4. Compositional verification for secure loading of smart card applets [C] . Sprenger C., Gurov D., Huisman M. Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on . -1

机译：用于安全加载智能卡小程序的组成验证
5. Decoder-learning based distributed source coding for high-efficiency, low-cost and secure multimedia communications [D] . Liu, Wei 2008

机译：基于解码器学习的分布式源编码，可实现高效，低成本和安全的多媒体通信
6. Secure Source Coding with a Public Helper [O] . Kittipong Kittichokechai, Yeow-Khiang Chia, Tobias J. Oechtering, -1

机译：使用公共帮助程序进行安全源编码
7. Source Code Verification of a Secure Payment Applet [O] . Bart Jacobs, Martijn Oostdijk, Martijn Warnier 2004

机译：安全支付小程序的源代码验证

Source code verification of a secure payment applet

著录项

引文网络

相似文献

相关主题

期刊订阅