Java密码学API注解及模板生成框架

作     者：周济时 张晓寒 张源 杨珉 ZHOU Ji-shi;ZHANG Xiao-han;ZHANG Yuan;YANG Min

作者机构：复旦大学软件学院上海201203 

基　　金：上海市青年科技英才扬帆计划项目(16YF1400800)资助 国家重点基础研究发展计划项目(2015CB358800)资助 国家自然科学基金项目(61602123 61602121 U1636204 U1736208)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2019年第40卷第2期

页      码：367-373页

摘      要：随着Java软件功能日益复杂,开发者越来越多地依赖于密码学函数来保护应用数据.虽然密码学算法功能非常强大,但是设计复杂的Java密码学API经常被开发者误用,引入本可避免的安全漏洞.为了强制规范开发者的行为,本文提出基于注解的Java密码学API安全性增强方法,实现SecureCrypto框架,框架能够根据用户参数以及应用场景的模板自动生成加解密代码,同时对开发者代码进行校验,在编译阶段发现并报出错误.此外为了简化注解开发,本文还实现了一个基于Java代码的模板生成器,安全专家能够快速准确定义新场景以完善SecureCrypto.实验调查发现,注解确实能帮助开发者高效编写安全可靠代码,模板生成器是安全专家拓展注解使用场景的必要工具.

主 题 词：Java 密码学API 注解 模板 模板生成器 

学科分类：07[理学] 08[工学] 070104[070104] 0835[0835] 0701[理学-数学类] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-1220.2019.02.022

馆 藏 号：203459447...