期刊文献+

软件加密研究

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 本文针对微型计算机,分析讨论了软件的保护措施,提出了两种文件的加密方法,并对两种方法进行了深入的研究。
机构地区 吉林工业大学
出处 《计算机应用研究》 CSCD 1996年第2期88-89,共2页 Application Research of Computers
关键词 软件 加密 软件加密 微机 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部