期刊文献+
共找到2,424篇文章
< 1 2 122 >
每页显示 20 50 100
Banff移植病理学诊断标准与移植病理学
1
作者 郭晖 陈刚 《实用器官移植电子杂志》 2023年第5期393-399,I0001,共8页
1Banff移植病理学会议的起源及其简要历程Banff移植病理学会议(Banff Conference on Allograft Pathology,简称“Banff会议”)创立于1991年,截止至2021年,已经走过了30年的历程^([1-5])。Banff会议及其移植病理学诊断标准的建立和不断更... 1Banff移植病理学会议的起源及其简要历程Banff移植病理学会议(Banff Conference on Allograft Pathology,简称“Banff会议”)创立于1991年,截止至2021年,已经走过了30年的历程^([1-5])。Banff会议及其移植病理学诊断标准的建立和不断更新,是国际移植病理学发展中的里程碑,不仅极大地提高了器官移植术后并发症的诊断及其治疗水平,而且也形成了一个新的学科即移植病理学。 展开更多
关键词 移植病理学 诊断标准 器官移植术后 简要历程 ban 并发症
下载PDF
Probability Criterion for a Dynamic Financial Model with Short-Selling Allowed
2
作者 韩其恒 唐万生 李光泉 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2003年第1期18-23,共6页
Probability criterion has its practical significance, and its investment decision-making is determined by the expected discounted wealth. In a complete, standard financial market with short-selling allowed, this paper... Probability criterion has its practical significance, and its investment decision-making is determined by the expected discounted wealth. In a complete, standard financial market with short-selling allowed, this paper probes into the investment decision-making with probability criterion. The upper limit of criterion function is obtained. The corresponding discounted wealth process and hedging portfolio process are provided. Finally, an illustrative example of one-dimensional constant-coefficient financial market is given. 展开更多
关键词 Probability criterion short-selling Criterion function Hedging portfolio process.
下载PDF
基于身份认证的BACnet/IP分析与改进
3
作者 谢鹏寿 朱家锋 +3 位作者 康永平 冯涛 李威 冉玉翔 《通信学报》 EI CSCD 北大核心 2024年第3期227-243,共17页
为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和... 为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和形式化分析方法对BACnet/IP进行安全性分析,发现协议漏洞并提出改进方案。BACnet/IP-SA协议使用设备的伪身份来保护真实身份信息,使用PUF响应进行认证,通过多信息集合的验证值来验证端身份的真实性并生成会话密钥。结合BAN逻辑和非形式化方法,对协议的安全性进行了证明。实验结果表明,所提方案能有效抵抗多类攻击和密钥泄露带来的安全威胁,在减少计算开销的同时增强了协议身份认证的安全性。 展开更多
关键词 BACNET/IP 形式化分析 着色PETRI网 ban逻辑 协议改进
下载PDF
Fishing Production and Fishing Changes in Hong Kong after the Ground Trawl Ban of 31st December 2012:A Geospatial Evaluation
4
作者 Alastor M.Coleby Eric P.M.Grist 《Journal of Geographical Research》 2023年第1期39-53,共15页
From data published by the Hong Kong SAR(HKSAR)government in their two sole fisheries surveys of 2006 and 2016/2017,the current authors produced regional maps using spatial interpolation to more accurately describe an... From data published by the Hong Kong SAR(HKSAR)government in their two sole fisheries surveys of 2006 and 2016/2017,the current authors produced regional maps using spatial interpolation to more accurately describe and estimate the geographic coverage of changes in fishing production in Hong Kong waters since the ground trawl ban of 2012 December 31st.These suggest the fishing industry has adapted to smaller craft,and that fishing production increased in several areas in the period after the ground trawl ban came into effect.In addition,the maps enable a smoother assessment to be made of the geospatial changes in fishing production which have occurred since the ground trawl ban and suggest a‘workaround’by fishermen.In particular,small fishing craft known as sampans are able to take advantage by being more suitable vessels for areas such as narrower or shallower bays.Marine plastics pollution is also a proxy indicator of these activities,as evidenced by discarded fishing gear that includes plastic nets,floats,and other fishing boat equipment. 展开更多
关键词 Fishing production Commercial fishing Marine plastics Ground trawl ban
下载PDF
基于耳石微化学的长江禁捕前后鄱阳湖都昌水域刀鲚群体动态变化研究
5
作者 姜涛 杨健 +2 位作者 刘洪波 陈修报 薛竣仁 《南方水产科学》 CAS CSCD 北大核心 2024年第3期18-26,共9页
为了解长江禁捕对鄱阳湖都昌南部水域刀鲚(Coilia nasus)资源的影响,利用电子探针微区分析(EPMA)分别对该水域禁捕前(2014年)和禁捕后(2019年)刀鲚的洄游生态学特征开展了研究。结果显示,所有刀鲚个体耳石自核心至边缘均依次具有锶钙比(... 为了解长江禁捕对鄱阳湖都昌南部水域刀鲚(Coilia nasus)资源的影响,利用电子探针微区分析(EPMA)分别对该水域禁捕前(2014年)和禁捕后(2019年)刀鲚的洄游生态学特征开展了研究。结果显示,所有刀鲚个体耳石自核心至边缘均依次具有锶钙比(Sr/Ca×1000)<3、3~7以及<3的生境履历特征,表现为典型的溯河洄游履历。禁捕后刀鲚数量(17尾)明显多于禁捕前(2尾),体长[(28.1±2.3)cm]也长于禁捕前[(21.3±4.7)cm],且长于禁捕前的已有报道。此外,刀鲚耳石边缘低值区呈现多样化特征[2014年(125.0±63.6)μm、80~170μm,2019年(173.5±73.6)μm、20~290μm],表现出多个上溯群体在该水域混栖的现象。结合该水域多数个体性腺尚未成熟,且都昌南部水域(大矶山至和合乡水域)是刀鲚群体自江湖通道出入鄱阳湖中部和南部湖区及通湖河流(如饶河、信江等)的必经之路,得出都昌水域主要行使刀鲚洄游通道的生态功能,亟须加强保护。 展开更多
关键词 刀鲚 耳石 电子探针微区分析 长江禁渔 鄱阳湖 都昌水域
下载PDF
非法采矿罪的保护法益与违法性认定
6
作者 胡东飞 《政治与法律》 北大核心 2024年第2期31-44,共14页
非法采矿罪的保护法益包括国家对矿产资源的所有权、矿产资源的完好性及生态环境。其中,矿产资源所有权是本罪必然侵犯的法益,而矿产资源的完好性与生态环境可谓选择性法益。取得采矿许可证而开采的,原则上排除非法采矿罪的违法性,但特... 非法采矿罪的保护法益包括国家对矿产资源的所有权、矿产资源的完好性及生态环境。其中,矿产资源所有权是本罪必然侵犯的法益,而矿产资源的完好性与生态环境可谓选择性法益。取得采矿许可证而开采的,原则上排除非法采矿罪的违法性,但特殊情况下也可能构成非法采矿罪;未取得采矿许可证而开采的,原则上构成非法采矿罪,特殊情况下也可能排除非法采矿罪的违法性。采矿许可(证)属于解禁性许可,行为人通过贿赂、欺骗等不正当手段取得采矿许可证而开采矿产资源的,并不阻却违法性,应构成非法采矿罪。但是基于具体行政行为的公定力,在程序上应当由作出采矿许可决定的行政机关或其上级行政机关撤销许可后,司法机关方可认定为非法采矿罪。 展开更多
关键词 非法采矿罪 保护法益 采矿许可证 解禁性许可
下载PDF
班彪《王命论》及其经典化历程
7
作者 龙文玲 张莹莹 《铜仁学院学报》 2024年第2期18-24,41,共8页
《王命论》创作于两汉之际,当时政局剧变、思想混乱。班彪有感于时事多艰、隗嚣企图据陇称雄的现实,作文希望能警醒隗嚣以救时难。文章融史论于政论,从天道、人事两个角度阐释了刘氏获得政权之因,特别强调统治者“顺天应民”的重要性,... 《王命论》创作于两汉之际,当时政局剧变、思想混乱。班彪有感于时事多艰、隗嚣企图据陇称雄的现实,作文希望能警醒隗嚣以救时难。文章融史论于政论,从天道、人事两个角度阐释了刘氏获得政权之因,特别强调统治者“顺天应民”的重要性,体现了班彪对历史与现实的深刻洞察力,客观上反映了身处乱世的人民渴望统一和平的集体愿望。该文最早被班固《汉书·叙传》有意收录,随着《文选》等汉魏六朝早期典籍的载录,以及众多文人的化用、模仿、评析,最终成为代表东汉论体最高成就的典范作品。班彪对历史与现实敏锐观察,融史论于政论的高超技巧,析理透彻的论说方式,至今仍有启示意义。 展开更多
关键词 班彪 《王命论》 经典化
下载PDF
用能权交易制度对城市碳排放绩效改善的影响研究
8
作者 胡剑波 周宗康 张宽元 《工业技术经济》 北大核心 2024年第4期46-56,共11页
用能权交易制度作为我国实现绿色发展的一项重要制度创新,对改善城市碳排放绩效具有重要意义。本文基于2006~2022年我国281个地级市的面板数据,采用双重差分模型检验用能权交易制度对城市碳排放绩效的作用机制及其溢出效应。研究发现:(1... 用能权交易制度作为我国实现绿色发展的一项重要制度创新,对改善城市碳排放绩效具有重要意义。本文基于2006~2022年我国281个地级市的面板数据,采用双重差分模型检验用能权交易制度对城市碳排放绩效的作用机制及其溢出效应。研究发现:(1)用能权交易制度显著降低城市碳强度和提升碳全要素生产率;(2)用能权交易制度有利于非老工业基地和资源型城市碳强度的降低,同时也有利于非老工业基地和非资源型城市碳全要素生产率的提高;(3)用能权交易制度主要通过结构效应、创新效应和监管效应等途径改善城市碳排放绩效;(4)用能权交易制度的碳排放改善作用存在显著的正向空间溢出,能够实现环境红利和社会福利相容发展。因此,稳步扩大试点政策范围,积极探索实现路径和推进区域协同是实现绿色低碳的重要保障。 展开更多
关键词 用能权交易制度 碳强度 碳全要素生产率 双重差分法 碳排放绩效 溢出效应
下载PDF
BAN逻辑的可靠性分析与改进 被引量:17
9
作者 王正才 许道云 +2 位作者 王晓峰 唐郑熠 韦立 《计算机工程》 CAS CSCD 2012年第17期110-115,共6页
BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进... BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。 展开更多
关键词 ban逻辑 安全协议 形式化 非形式化 消息新鲜性 推理
下载PDF
基于身份的TLS协议及其BAN逻辑分析 被引量:10
10
作者 于代荣 杨扬 +2 位作者 马炳先 刘明军 王世贤 《计算机工程》 CAS CSCD 北大核心 2011年第1期142-144,148,共4页
基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对... 基于身份的密码体制(IBC)轻量、高效,密钥管理方式简单,但缺乏有效安全协议的支持限制了其应用。通过增加支持IBC的加密套件,引入IBC公钥代替RSA证书公钥,减少消息交换数量,提出支持IBC的、高效的基于身份的IB_TLS协议。使用BAN逻辑对其进行形式化分析,证明IB_TLS协议是安全的。 展开更多
关键词 基于身份的密码体制 IB TLS协议 ban逻辑 TLS协议
下载PDF
密码协议分析工具——BAN逻辑及其缺陷 被引量:13
11
作者 张玉清 李继红 肖国镇 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1999年第3期376-378,共3页
在介绍密码协议分析工具——BAN逻辑的基础上,研究和分析了BAN逻辑在初始假设、理想化步骤、语义和探测协议违规运行等方面所存在的缺陷,并用实际例子具体说明了这些缺陷,最后指出了BAN逻辑改进的方向.
关键词 密码协议 协议分析 ban逻辑
下载PDF
甘蓝型油菜BAN同源基因片段克隆与序列分析 被引量:6
12
作者 赵志伟 曾凡亚 +1 位作者 赵云 王茂林 《中国油料作物学报》 CAS CSCD 北大核心 2001年第4期7-10,共4页
参照拟南芥 (Arabidopsisthaliana)BAN基因和cDNA的保守序列设计引物 ,对甘蓝型、白菜型、芥菜型油菜和拟南芥及其它十字花科栽培品种的基因组总DNA进行PCR扩增 ,均获得与拟南芥BAN基因扩增片段大小极其相似的PCR扩增产物 ,表明BAN基因... 参照拟南芥 (Arabidopsisthaliana)BAN基因和cDNA的保守序列设计引物 ,对甘蓝型、白菜型、芥菜型油菜和拟南芥及其它十字花科栽培品种的基因组总DNA进行PCR扩增 ,均获得与拟南芥BAN基因扩增片段大小极其相似的PCR扩增产物 ,表明BAN基因可能广泛存在于十字花科植物中。甘蓝型油菜和拟南芥BAN扩增片段测序比较分析显示 ,拟南芥BAN片段 (779bp)与已往的报道完全相同 ,甘蓝型油菜的BAN片段(780bp)与拟南芥BAN外显子的同源性为 90 % ,但与内含子的同源性仅为 74 %。甘蓝型油菜BAN氨基酸序列与 展开更多
关键词 油菜 拟南芥 ban基因 甘蓝型油菜 片段克隆 序列分析
下载PDF
类BAN逻辑基本模型及缺陷 被引量:5
13
作者 许剑卓 戴英侠 左英男 《软件学报》 EI CSCD 北大核心 2000年第12期1660-1665,共6页
类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并... 类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并依据该模型对类 BA N逻辑的缺陷进行分类 ,最后指出进一步发展类 展开更多
关键词 密码协议 ban逻辑 缺陷
下载PDF
基于BAN逻辑的ad hoc移动网络路由协议的安全性分析 被引量:4
14
作者 王英龙 王继志 王美琴 《通信学报》 EI CSCD 北大核心 2005年第4期125-129,共5页
Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对... Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对协议的运行过程进行了形式化,给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性。 展开更多
关键词 无线通信 AD HOC 路由协议 安全 ban逻辑
下载PDF
用BAN逻辑方法分析SSL 3.0协议 被引量:6
15
作者 王惠芳 郭金庚 《计算机工程》 CAS CSCD 北大核心 2001年第11期147-149,共3页
形式化分析密码协议渐渐成为密码学中一个发展的新方向,因为形式化方法的确能检测出密码协议中的漏洞。BAN逻辑是目前使用最广泛的。文章介绍了BAN逻辑和SSL3.0协议,并给出了用BAN逻辑分析SSL3.0协议的详细过程。
关键词 形式化分析 密码协议 ban逻辑 SSL3.0协议
下载PDF
对BAN逻辑中新鲜子的研究 被引量:6
16
作者 宋荣功 胡正名 杨义先 《电子科学学刊》 CSCD 2000年第3期505-508,共4页
本文从BAN逻辑的基本结构和基本规则出发,对BAN逻辑中的新鲜子进行了分析研究,指出BAN逻辑在实际应用中不稳固的某些本质原因并不是理想化问题,而是原基本规则中存在的某些问题所致,并进一步对此进行了相应的改进,使得BAN逻辑更趋于稳... 本文从BAN逻辑的基本结构和基本规则出发,对BAN逻辑中的新鲜子进行了分析研究,指出BAN逻辑在实际应用中不稳固的某些本质原因并不是理想化问题,而是原基本规则中存在的某些问题所致,并进一步对此进行了相应的改进,使得BAN逻辑更趋于稳固和完善。 展开更多
关键词 模态逻辑 ban逻辑 新鲜子 保密通信
下载PDF
基于BAN逻辑的SIP网络认证协议安全性研究 被引量:2
17
作者 张兆心 杜跃进 +1 位作者 方滨兴 张宏莉 《高技术通讯》 EI CAS CSCD 北大核心 2010年第11期1108-1114,共7页
利用BAN逻辑对会话初始化协议(SIP)网络采用的超文本传输协议(HTTP)摘要认证协议进行了形式化分析和推导。通过严格的逻辑推导,证明HTTP摘要认证协议存在不足,以及由此产生的伪装攻击。通过对逻辑推理结果和推导过程的分析,针对BAN逻辑... 利用BAN逻辑对会话初始化协议(SIP)网络采用的超文本传输协议(HTTP)摘要认证协议进行了形式化分析和推导。通过严格的逻辑推导,证明HTTP摘要认证协议存在不足,以及由此产生的伪装攻击。通过对逻辑推理结果和推导过程的分析,针对BAN逻辑提出增加消息抗否认性规则和消息新鲜性传递规则,增强了BAN逻辑的逻辑推理能力;针对HTTP摘要认证协议提出增加数字签名、公私钥机制、双向认证和密钥协商,提高了HTTP摘要认证协议的安全性。 展开更多
关键词 ban逻辑 SIP HTTP摘要认证协议 双向认证
下载PDF
BAN逻辑在协议分析中的密钥猜测分析缺陷 被引量:4
18
作者 杨世平 李祥 《计算机工程》 CAS CSCD 北大核心 2006年第9期126-127,130,共3页
BAN逻辑可以证明协议是否能够达到预期目标,还能够发现协议中存在的一些缺陷,为进一步改进提供参考。但是,通过一个认证协议的例子证明,该文指出,BAN逻辑对于诸如弱密钥方面存在的密钥猜测攻击的分析存在缺陷,还需结合非形化的方法来加... BAN逻辑可以证明协议是否能够达到预期目标,还能够发现协议中存在的一些缺陷,为进一步改进提供参考。但是,通过一个认证协议的例子证明,该文指出,BAN逻辑对于诸如弱密钥方面存在的密钥猜测攻击的分析存在缺陷,还需结合非形化的方法来加以解决。 展开更多
关键词 ban逻辑 认证协议 密钥猜测攻击 椭圆曲线
下载PDF
认证协议的形式逻辑分析方法——BAN类逻辑综述 被引量:2
19
作者 束妮娜 王亚弟 《计算机应用研究》 CSCD 北大核心 2002年第9期17-20,共4页
介绍了最早的认证协议形式化分析方法———BAN逻辑及扩展的BAN逻辑 ,统称为BAN类逻辑。并通过分析比较 ,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处。
关键词 认证协议 形式逻辑分析方法 ban类逻辑 信仰逻辑 密码 推理规则
下载PDF
紫花苜蓿BAN基因的克隆及其生物信息学分析 被引量:4
20
作者 王学敏 董洁 +2 位作者 姜霁珊 王赞 高洪文 《中国草地学报》 CSCD 北大核心 2012年第2期8-15,共8页
BANYULS(BAN)基因编码的花青素还原酶是缩合单宁合成有关的一个关键酶。利用同源克隆的原理,采用RACE的方法,从紫花苜蓿中克隆得到了BAN基因(MsBAN),并对其进行了初步的分析。该基因cDNA全长1313bp,包括开放阅读框1017bp,编码339个氨基... BANYULS(BAN)基因编码的花青素还原酶是缩合单宁合成有关的一个关键酶。利用同源克隆的原理,采用RACE的方法,从紫花苜蓿中克隆得到了BAN基因(MsBAN),并对其进行了初步的分析。该基因cDNA全长1313bp,包括开放阅读框1017bp,编码339个氨基酸,在N端存在一个NADP结合位点"VIGGTGFVASL-LIKQLLEKGY"。实时荧光定量PCR结果表明,该基因在紫花苜蓿荚果中表达量最高,花中最弱。在NaCl和PEG诱导下,MsBAN基因表达量明显高于对照。在外源激素ABA和GA3处理下,该基因被诱导表达。表明单宁可能在紫花苜蓿的抗逆性调控中也起到一定的作用。 展开更多
关键词 紫花苜蓿 ban基因 克隆 生物信息学分析 表达分析
下载PDF
上一页 1 2 122 下一页 到第
使用帮助 返回顶部