-
公开(公告)号:CN103036709B
公开(公告)日:2016-08-03
申请号:CN201210510366.4
申请日:2012-11-29
Applicant: 华南理工大学
Abstract: 本发明公开了一种基于主机监控操作系统的加固方法,包括建立基于树形安全域的主机监控模型;应用语义级审计进行访问控制;通过ROOkit将监控模块注入主机的计算机操作系统内核;采用策略方式对计算机操作系统进行功能控制;所述策略方式采用XML语言定义监控对象、监控内容、监控方式,并写入监控模块;所述监控内容包括审计方式、安全防护、监视。采用基于Rootkit的内核级控制解决控制的安全性、可靠性,采用树形安全域体系解决大型网络机群/网群的管理复杂性,采用分布式策略描述语言解决监控需求及方式方法的灵活、深层表述。
-
公开(公告)号:CN103036709A
公开(公告)日:2013-04-10
申请号:CN201210510366.4
申请日:2012-11-29
Applicant: 华南理工大学
Abstract: 本发明公开了一种基于主机监控操作系统的加固方法,包括建立基于树形安全域的主机监控模型;应用语义级审计进行访问控制;通过ROOkit将监控模块注入主机的计算机操作系统内核;采用策略方式对计算机操作系统进行功能控制;所述策略方式采用XML语言定义监控对象、监控内容、监控方式,并写入监控模块;所述监控内容包括审计方式、安全防护、监视。采用基于Rootkit的内核级控制解决控制的安全性、可靠性,采用树形安全域体系解决大型网络机群/网群的管理复杂性,采用分布式策略描述语言解决监控需求及方式方法的灵活、深层表述。
-
公开(公告)号:CN103019711A
公开(公告)日:2013-04-03
申请号:CN201210513338.8
申请日:2012-12-04
Applicant: 华南理工大学
IPC: G06F9/44
Abstract: 本发明公开了一种基于进程代数的软件体系结构安全模型的建立方法,包括:1)创建软件体系结构的流图;2)在软件体系结构的流图基础上,采用进程代数作为形式化描述语言对各个软件体系结构要素进行定义;3)对被定义的软件体系结构进行安全性检查,验证检查结果或进行修改,得到软件体系结构安全模型。本发明所建立的安全模型在一个形式化的框架内对软件体系结构的安全性进行描述、分析和验证,可以保证和维持基于构件的一类软件体系结构开发的一致性和完整性,因此使用此发明研究安全组件以及其交互形成的软件体系结构的安全特性具有重要意义和实用价值。
-
公开(公告)号:CN103034690A
公开(公告)日:2013-04-10
申请号:CN201210501501.9
申请日:2012-11-28
Applicant: 华南理工大学
Abstract: 本发明公开了一种基于web服务的移动客户端应用程序自定制方法,包括制作web服务定制网页;用户打开PC端web服务生成器后,在网页中框选感兴趣的web控件;Web服务生成器对Web控件分析后自动生成对应的web服务的部署文件、服务描述文件,和UI布局文档,并运行在Web服务器端;用户在移动客户端服务列表中搜索到已定制和运行的web服务,选中后移动客户端从Web服务器端下载该web服务的服务描述文件和UI布局文档,移动客户端根据上述文件自动生成该web服务的操作界面。本发明使普通用户在基于该方法开发的平台下可以将互联网信息资源封装成个性化的web服务并在移动客户端以应用程序的形式使用。
-
-
-