BAN逻辑在一类中间入侵攻击协议分析中的缺陷

BAN逻辑通过对密钥协商协议的运行进行形式化分析,研究密钥协商双方通过相互接收和发送消息从最初的信仰逐渐发展到协议最终要达到的目的,证明协议是否能够达到预期目标,以此发现协议中存在的一些缺陷。通过一个端到端协议例子的证明和分析,指出BAN逻辑对于一类密钥协商协议中存在的中间入侵攻击分析方面存在缺陷,还需要结合非形式化的分析方法来加以解决。

在线交换密钥的挑战-应答身份认证协议及其形式化验证

身份认证协议保障应用系统安全的同时,还能够提供在线交换密钥功能,是很多网络应用系统为解决身份认证方案提出的新需求。针对这个问题,本文基于共享密钥提出一种新的基于挑战-应答机制的在线交换密钥新方案,并详细分析了新方案的交互过程及其安全性证明,并进行了模拟实现。BAN逻辑证明,该方案保证高安全的同时提供了密钥交换功能,协议达到了认证目标。

明清时期徽州的民间禁赌

明清时期徽州地区的赌博活动极为猖獗 ,形成了严峻的社会问题 ,引起徽州地方官府和民间社会的强烈关注。徽州地方官府、民间基层组织和宗族 ,对国家禁赌法令进行了有效的贯彻。

清代禁赌活动中的乡村自治

赌风盛行,影响到了正常的清代乡村秩序。乡村社会因而开展了禁赌活动。它带有较强自治性:村社通过刻立碑碣、存于庙宇,进行了风俗改良的努力;禁赌的主导者是村社而非官府,即以官府为依靠又自行其事。这种努力在1884年以后因官方政策的变化走入低谷,民国之后重新萌芽。

现阶段农村赌博泛滥的原因及治理对策

赌博陋习起源甚早 ,危害极大 ,自古被列为“十恶”之一加以禁止。新中国成立后赌博陋习基本铲除 ,但 2 0世纪 80年代以来由于多种因素的影响 ,农村赌博陋习死灰复燃 ,并且愈演愈烈 。

登革4型病毒Ban18-30减毒株的生物学特性研究

目的将登革4型病毒（DEN-4）Ban18原株及其减毒株Ban18-30株在vero细胞传代后进行生物学特性比较研究，以了解Ban18-30株的毒力和免疫原性及其是否为一株有希望的DEN-4减毒活疫苗候选株。方法Banl8原株及在原代地鼠肾细胞传代减毒的Ban18-30株在vero细胞中增殖，将两毒株进行中和实验，确证两株的型别，研究传代毒株的病毒滴度、毒力和免疫原性。结果两株病毒与抗DEN-4特异性抗体进行中和实验，中和指数≥316，证明两株病毒确为DEN-4；空斑滴定两株病毒，滴度约为2×10^6-2．5×106PFU／ml；Ban18-30株对乳鼠的脑内毒力较Banl8原株低，≥1．710gID50；Ban18-30株对幼鼠脑内接种不致病，而原株的log LD50值为4．3；腹腔免疫小鼠后用原株进行脑内攻击，能够抵抗大于1000 LD50致死剂量的病毒攻击。结论两株病毒在vero细胞内增殖良好，滴度较高，Ban 18-30对乳鼠和幼鼠的致病力明显减弱。在减毒的过程中仍保留了较高的免疫原性，有望成为一株DEN-4的减毒活疫苗候选株。

袁世凯禁赌活动略论

小站练兵时期袁世凯在军队中实施禁赌,对整肃军纪、提高军队士气起到了一定作用;督直期间,袁世凯以巡警制度相配合对社会上的赌博现象予以打击,并停办了顺直义赈彩票;民国初年,袁世凯多次颁布禁赌法令,将惩治官吏赌博作为重点,希望以此树立新政府的良好社会形象。上述禁赌活动虽然未能从根本上扭转社会风气,但在一定程度上遏制了赌风的漫延,具有积极的社会意义。

禁赌碑与乡规民约——以清代陕西安康地区为中心

乡村社会中,禁赌是村民必须共同遵守的禁止性乡规民约。禁赌碑是乡规民约固化的结果,它在社会治理过程中是以习惯法的形式执行着部分封建国法的职能。清代安康地区的禁赌碑文表明,乡民们对赌博的危害认识非常深刻,常常捐资立会,结社禁赌。违禁惩处时,以经济惩罚为主。罚戏是民间禁赌的智慧手段,体现着乡村自治的能力和水平。禁长、乡约是禁赌活动中的监督者和执法者,他们的村民身份使得禁赌执法时带有强烈的乡村社会自我管理性质。

论对赌博应严厉查禁而不能“抓大放小”

赌博活动在我国渐呈蔓延趋势,而且花样繁多,规模增大,严重扰乱了社会治安秩序,败坏了社会风气。在这种形势下,有人提出了“抓大放小”的所谓“禁赌新思维”。这种“禁赌新思维”实际上是对我国现行禁赌政策的曲解。要想有效遏制赌博活动发展蔓延势头,必须对群众性娱乐活动正面引导,对赌博活动严厉查禁。

不同水蒸气蒸馏方式对油樟油提取率及主要成分含量的影响

采用水中蒸馏、水上蒸馏、水蒸气直接蒸馏和水蒸气扩散蒸馏方式提取油樟[Cinnamomum longepaniculatum(Gamble)N.Chan]叶挥发油,比较了油樟油的提取率及主要成分含量。结果表明,采用水上蒸馏(3.83%)和水蒸气直接蒸馏(3.73%)获得的提取率较高,二者无显著差异(P>0.05),均显著高于水中蒸馏和扩散蒸馏的提取率(P<0.05),后两者间无显著差异(P>0.05);蒸馏方式对1,8-桉叶油素含量的影响较大,对α-松油醇和γ-松油烯无显著影响(P>0.05);采用水蒸气直接蒸馏所得油樟油中1,8-桉叶油素含量最高(60.10%),显著高于水蒸气扩散蒸馏和水上蒸馏(P<0.05),与水中蒸馏无显著差异(P>0.05)。可见,水蒸气直接蒸馏方式能获得较高的油樟油提取率及主要成分含量。

民国时期的广东赌禁探析

民国以还,粤省承袭了晚清赌祸。处于传统到近代化转型时期的广东,其政治、经济、文化、社会风尚为赌博提供了新的特殊社会背景,整体社会系统处于残缺与失控的状态,历届治粤者对赌博驰禁不一,最终形成“禁者自禁,开者自开”的局面,导致粤省赌祸持续泛滥。

关于中国禁赌新思维的理性思考

赌博作为一种源于游戏的社会现象,它的盛行与泛滥是由多种因素共同作用所致。长期以来,我们查禁赌博的思维简单化,方式过于单一,效果并不理想。转变禁赌思维方式就是要求我们站在全社会和公众生活的立场上,从赌博本身的特性和存在的多种根源出发,严格界定赌博罪、赌博违法及带彩头的群众娱乐活动的界限,分层分类、抓大放小,打击体现层次性,并辅之以经济、法律、行政和教育等多种手段,标本兼治、疏堵结合、打防并举,来达到遏制赌博泛滥的目的。

Kerberos协议在无线网络中的应用与改进研究

为给便携式无线设备提供更加便捷的认证服务,提出融合无线公钥基础设施、质询-响应协议、密钥随机化处理等技术来改进Kerberos协议的应用方案,而后用形式化的协议证明语言对改进后的协议进行了安全验证,分析结果表明改进后的协议能完成用户与服务器之间的认证工作,并且协议在通信机密性与防口令猜测方面都有所增强。

清中期京城轿夫聚赌之治理

清中期京城轿夫以获利为主要目的猖狂聚赌,形成群体效应,许多轿夫与旗民合伙开场聚赌,成为大型赌场的掌控者。轿夫聚赌对京城社会治安和旗人生计等造成巨大冲击。清廷因之对王公大臣的乘轿礼制进行调整,对京城轿夫管理及聚赌订立新法并制度化,体现了清中期禁赌制度向精细化发展的趋势。在司法实践中,清廷以常规性和突击性相结合的方式对轿夫聚赌进行巡查,缉捕审办由步军统领衙门、都察院和刑部分工分步实施。清廷治理京城轿夫聚赌的成效有限,主要系基层吏治腐败、立法缺陷、轿夫狡猾应对等阻力所致,这些阻力严重妨碍了禁赌制度的落实,也折射出清代官方禁赌在制度设计与实际成效之间存在的巨大反差。