您的位置： 专家智库 > >

袁志斌

作品数：5 被引量：8H指数：2
供职机构：广东商学院信息学院更多>>
发文基金：广东省自然科学基金广东省教育厅自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇隐私
  • 1篇隐私策略
  • 1篇站点
  • 1篇软件开发
  • 1篇自动机
  • 1篇网络
  • 1篇网络隐私
  • 1篇规约
  • 1篇P3P
  • 1篇WEB站
  • 1篇WEB站点
  • 1篇BÜCHI自...

机构

  • 4篇广东商学院
  • 1篇华中科技大学
  • 1篇武汉理工大学

作者

  • 4篇袁志斌
  • 1篇刘建国

传媒

  • 2篇电脑与电信
  • 1篇计算机应用与...
  • 1篇计算机科学

年份

  • 1篇2010
  • 1篇2009
  • 2篇2008
共 5 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
软件开发的形式化方法被引量：2
2008年
随着计算机及软件系统逐步渗透到社会生活的方方面面,对软件可靠性、安全性和保密性的要求也越来越高.本文阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约方法,以及演绎证明和模型检测等形式验证方法。
袁志斌
关键词：形式化方法规约
基于左右语言的状态迁移系统的优化
2009年
基于左右语言的优化是完全基于自动机理论的优化方法。所谓左语言是指从初始状态到指定状态的语言,而右语言是指从指定状态到接受状态的语言。K-模拟为左右语言的计算提供了一个高效的算法,研究了基于K-模拟的左右语言的Kripke结构、Bchi自动机的优化方法。
刘建国袁志斌
Büchi自动机的优化综述被引量：1
2010年
对Büchi自动机进行优化是提高基于自动机的模型检测效率的重要手段。对直接模拟关系、延迟模拟关系和公平模拟关系的概念,进行了比较,并探讨了基于这些模拟关系的自动机优化方法。基于左右语言的优化是完全基于自动机理论的优化方法,于是深入探讨了利用左右语言对Büchi自动机的优化绍方法。最后对未来的研究方向作了简要的介绍。
袁志斌
关键词：BÜCHI自动机
基于P3P的网络隐私保护被引量：5
2008年
目前因特网隐私问题已经成为了网络用户最关注的问题之一。P3P通过提供一个标准的可机读格式,以及一个能使Web浏览器自动读取和处理策略的协议的方式表达了Web站点的隐私策略。本文介绍了P3P的工作原理,部署方法以及该领域的进展及研究方向。
袁志斌
关键词：P3P网络隐私隐私策略WEB站点
全选 清除 导出
共1页<1>
聚类工具0