咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 2 篇 观察等价性
  • 1 篇 集合
  • 1 篇 天真的结构观念
  • 1 篇 tamarin-prover
  • 1 篇 模态刻画
  • 1 篇 形式化分析
  • 1 篇 口令猜测攻击
  • 1 篇 结构打开

机构

  • 1 篇 网络密码技术河南...
  • 1 篇 南开大学
  • 1 篇 数学工程与先进计...

作者

  • 1 篇 苗旭阳
  • 1 篇 姚从军
  • 1 篇 陆思奇
  • 1 篇 顾纯祥

语言

  • 2 篇 中文
检索条件"主题词=观察等价性"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于观察等价性的协议猜测攻击形式化检测方法
收藏
分享
引用
密码学报 2023年 第2期10卷 306-319页
作者： 苗旭阳 顾纯祥 陆思奇 数学工程与先进计算国家重点实验室 郑州450001 网络密码技术河南省重点实验室 郑州450001
由于口令的低熵性,针对基于口令的安全协议存在特有的口令猜测攻击,当前的形式化语义不能较好地刻画攻击者执行口令猜测攻击的条件,对于协议抗猜测攻击能力没有统一的形式化安全属性定义.本文提出了基于观察等价性的协议猜测攻击形式化... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
集合的天真结构观点:一个分析的方法
收藏
分享
引用
唐山学院学报 2010年 第1期23卷 28-32页
作者： 姚从军 南开大学哲学系 天津300071
丢掉任意的大小限制,就回到结构的前集合论观点,由此得到点图的一个类对应物:点系统概念。定义点系统之间的观察等价性概念有不同设想,利用结构打开思想是一个更具现实性的选择。打开概念真正刻画了有关一个集合的所有的东西,也就是它... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件