咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 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数据库为核心,以组成员的上下文信息为配置条件,动态地给组成员授权,不仅能动态指派角色,而且能灵活地维护... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件