咨询与建议

限定检索结果

文献类型

  • 5 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 6 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 网络空间安全
  • 2 篇 理学
    • 1 篇 数学
    • 1 篇 化学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 中西医结合
    • 1 篇 中药学(可授医学、...
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 2 篇 时序逻辑
  • 1 篇 协议工程
  • 1 篇 权限管理
  • 1 篇 形式化方法
  • 1 篇 教学方法
  • 1 篇 密码学
  • 1 篇 drbac模型
  • 1 篇 协议描述语言
  • 1 篇 drbac数据库
  • 1 篇 算法
  • 1 篇 加密协议
  • 1 篇 应用层多播
  • 1 篇 面向实现
  • 1 篇 单钥加密系统
  • 1 篇 板蓝根颗粒
  • 1 篇 加密协议分析
  • 1 篇 质量评价
  • 1 篇 荧光光谱成像法
  • 1 篇 课程特点

机构

  • 6 篇 华南农业大学
  • 2 篇 中国科学院研究生...
  • 2 篇 华南理工大学
  • 1 篇 广州大学
  • 1 篇 暨南大学
  • 1 篇 广东医学院
  • 1 篇 广州市轻工职业学...
  • 1 篇 南方医科大学
  • 1 篇 武汉大学
  • 1 篇 广东省高等学校光...

作者

  • 3 篇 肖德琴
  • 2 篇 刘才兴
  • 1 篇 官金兰
  • 1 篇 胡金龙
  • 1 篇 谢洁锐
  • 1 篇 陈振强
  • 1 篇 欧杰泉
  • 1 篇 周权
  • 1 篇 马骥
  • 1 篇 胡洁
  • 1 篇 张焕国
  • 1 篇 赵静
  • 1 篇 何青
  • 1 篇 王霞
  • 1 篇 梁兰
  • 1 篇 庞其昌
  • 1 篇 廖彬

语言

  • 6 篇 中文
检索条件"机构=华南农业大学理学院信息与计算科学教研室"
6 条 记 录,以下是1-10 订阅
排序:
面向实现的协议形式化描述语言
收藏 引用
计算机工程与应用 2003年 第19期39卷 81-83,145页
作者: 刘才兴 肖德琴 谢洁锐 华南农业大学理学院计算机系 中国科学院研究生院信息安全国家重点实验室 北京100080
该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件... 详细信息
来源: 评论
荧光光谱成像法在板蓝根颗粒质量评价的应用研究
收藏 引用
光谱学与光谱分析 2013年 第11期33卷 3044-3049页
作者: 何青 梁兰 陈振强 庞其昌 赵静 马骥 广东医学院生物医学工程教研室 东莞广东523808 广东省高等学校光电信息与传感技术重点实验室 广州广东510630 暨南大学理工学院光电工程系 广州广东510630 华南农业大学理学院 广州广东510640 南方医科大学中医药学院 广州广东510515
板蓝根颗粒的质量直接影响其疗效,选择一种有效的板蓝根颗粒质量检测方法至关重要。传统的检测方法需要对板蓝根样品进行化学预处理,是一种对样品有损的检测方法。为解决这一问题,采用了一种安装液晶滤波器件的荧光光谱成像实验装置对... 详细信息
来源: 评论
面向非计算机专业的算法教学方法研究
收藏 引用
中国教育技术装备 2007年 第7期 21-23页
作者: 廖彬 胡金龙 胡洁 华南农业大学理学院信息与计算科学教研室 广州510640 华南理工大学信息网络工程研究中心 广州510640 华南农业大学工程学院通信工程教研室 广州510640
算法分析与设计不仅是计算机专业的专业课,也是与计算机有关的非计算机专业的专业课。本文首先分析该课程的特点,接着分析面向非计算机专业讲授该课程的特点,最后就教学内容、教学方法与教学手段3个方面的教学实践进行总结与探讨。
来源: 评论
基于时序逻辑的加密协议分析
收藏 引用
计算机学报 2002年 第10期25卷 1083-1089页
作者: 肖德琴 周权 张焕国 刘才兴 中国科学院研究生院信息安全国家重点实验室 北京100080 广州大学理学院数学系信息安全研究所 广州510405 武汉大学计算机学院软件工程国家重点实验室 武汉430072 华南农业大学理学院计算机系 广州510642
形式化方法由于其精炼、简洁和无二义性 ,逐步成为分析加密协议的一条可靠和准确的途径 ,但是加密协议的形式化分析研究目前还不够深入 ,至今仍没有统一的加密协议验证体系 .针对这一现状 ,该文从加密协议可能面临的最强大的攻击着手 ,... 详细信息
来源: 评论
基于时序逻辑的加密协议描述语言
基于时序逻辑的加密协议描述语言
收藏 引用
第六届中国密码学学术会议
作者: 肖德琴 华南农业大学理学院计算机教研室(广州) 中国科学院软件研究所计算机科
该文针对加密协议面临的各种攻击,提出了一个基于时序逻辑的加密协议描述语言(the Description Language of Encryption Protocols Basing Temporal Logic,简称为TL-EPDL)。TL-EPDL语言应用标准时序来描述密码协议,刻化模拟入侵者行... 详细信息
来源: 评论
应用层多播中基于动态RBAC的权限管理研究
收藏 引用
佛山科学技术学院学报(自然科学版) 2009年 第2期27卷 36-39页
作者: 欧杰泉 官金兰 王霞 广州市轻工职业学校计算机教研室 广东广州510650 华南理工大学广州汽车学院 广东广州510800 华南农业大学理学院 广东广州510642
针对应用层多播的特点,提出一种基于角色和上下文的访问控制模型(DRBAC),从而实现对组播系统进行动态的权限分配。该方案以DRBAC数据库为核心,以组成员的上下文信息为配置条件,动态地给组成员授权,不仅能动态指派角色,而且能灵活地维护... 详细信息
来源: 评论