文件名称：retro-security-openmrs:OpenMRS的追溯安全模块
文件大小：3MB
文件格式：ZIP
更新时间：2024-05-21 05:17:04
Java
逆向安全Openmrs OpenMRS的追溯安全模块 建筑模块 安装XSB Prolog 转到rewriter / config / config并指定 2.1。 模块路径，即“ retrosecurity”目录的路径，例如/ home / uname / repo / retrosecurity 2.2。 XSB Prolog bin路径，例如/ home / uname / XSB / bin 转到rewriter / json / LS.json并指定日志记录规范。 当前在LS.json中提供了一个样本规范。 运行shell脚本rewrite / logging_mod.sh生成用于强制执行给定日志记录规范的OpenMRS模块。 JSON规格 JSON文件表示逻辑程序，即，由Horn子句的头和Horn子句的主体组成的Horn子句的列表。 头包含单个文字，而主体包含一系列文