-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=Java访问控制 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
Java安全性机制的形式分析与证明被引量：1
《计算机科学与探索》2016年第11期1501-1511,共11页江南 何炎祥 张晓瞳 刘瑞 沈云飞 
国家自然科学基金No.61373039~~
Java访问控制一方面提供了语言级的安全性机制,这种机制针对程序中所声明的实体,通过不同的访问修饰符,向其使用者屏蔽实体的实现细节;另一方面,它也导致了该语言规范的复杂性和实现的不一致性。分析了Java访问控制机制,包括类型、成员...
关键词：Java访问控制 动态绑定 形式分析 定理证明 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部