ESeal Calculus: A secure mobile calculus

0　IntroductionAdvancesincomputercommunicationsandcomputerhard warearechangingthelandscapeofcomputation .Mobilecomputationisnowpervasive .Theπ calculus[1 ] isatypicalcalcu lusofmobilecomputation .Manyworksextenditinmanyas pects.Forexample ,Ref.[2 ,3]extendthebasictypesystemsforπ calculusasgivingmoreinformativetypestoprocesses.YoshidaandHennessyproposeinRef.[4 ]atypesystemforahigher orderπ calculusthatcanbeusedtocontroltheeffectsofmigratingcodeonlocalenvironments.Thesealcalculus[5] canber…     

CCA安全的可否认加密:修正版

可否认加密是一种可以通过揭示虚假明文以欺骗攻击者的加密方案.在INSPEC 2012,基于FEHR等人的非承诺加密方案,高崇志等构造了在强可否认模型下具CCA安全的可否认加密方案.但是,HUANG等在PKC 2013指出,高崇志等的可否认加密方案和FEHR等在EUROCRYPT 2010的非承诺加密方案均存在有证明漏洞.文章基于HUANG等人的技巧,给出了高崇志等在INSPEC 2012方案的修正版本.     

SLID： A Secure Lowest-ID Clustering Algorithm

In order to solve security problem of clustering algorithm, we proposed a method to enhance the security of the well-known lowest-ID clustering algorithm. This method is based on the idea of the secret sharing and the (k, n) threshold cryptography. Each node, whether clusterhead or ordinary member, holds ?a share of the global certificate, and any k nodes can communicate securely. There is no need for any clusterhead to execute extra functions more than routing. Our scheme needs ,some prior configuration before deployment, and can be used in critical environment with small scale. The security-enhancement for Lowest-ID algorithm can also be applied into other clustering approaches with minor modification. The feasibility of this method was verified by the simulation results.     

舟山水产行业标准化及水产品质量安全建设现状

分析了舟山水产行业标准化实施的现状与必要性,提出进一步加强舟山水产行业标准化工作的对策建议。     

海洋渔业与生态文明

中国是海洋大国,也是海洋水产品消费大国,海洋渔业在中国经济社会和人们日常生活中占有重要地位。随着人们对海洋水产品的需求日益增强,海洋生态系统压力不断增大。如何解决全球渔业资源减少与对水产品需求增长之间的矛盾、海洋食物持续产出与海洋环境恶化之间的矛盾、建立海洋渔业发展新模式,是一个全球性的挑战。海洋牧场作为一个新生事物,已经引起政府、社会、特别是科技界的广泛关注与讨论。从海洋渔业的可持续发展角度,探讨了为什么要建海洋牧场、在哪里建和如何建等方面的问题,涉及对海洋牧场内涵的理解、海洋生态系统食物网关系、海洋鱼类的生活习性与海洋牧场构建之间的关系等科学问题。     

南京市水产科学研究所

南京市水产科学研究所创建于1976年8月，是集科研、推广、生产于一体的公益性水产科研推广机构。研究及服务领域包括：水产种质资源保护和优质野生品种的良种选育，渔业取域生态环境保护＋水产疫病灾害规律防治技术的研究，渔业服务体系的建设、管理和技术标准的制定、宣传，水产品质量安全监督检测及相关研究．水产技术的研究、推广与培训等。工作部门包括：品种资源研究室、渔业环境与疫病防治研究审心、按术推广服务中心、水产品质量监督检验站、科技开发由心等。研究所现有水产中、高级职称专业技术人员18人，研究生6人，人才优势明显。多年来，研究所每年承担各类课题十余项，先后获得省、市级科技进步奖30余项。     

固相萃取技术在水产品渔药残留分析中的应用

近些年来,固相萃取技术在渔药残留分析中获得了广泛的应用.本文主要阐述了固相萃取技术的基本原理、填料类型和选择,简述了固相萃取技术的发展现状,并介绍了该技术在渔药残留分析中的应用实例.     

量子安全直接通信?

"墨子"号量子科学实验卫星的发射,进一步吸引了人们对量子通信的关注.自1984年IBM的Bennett和加拿大蒙特利尔大学的Brassard提出第一个量子密钥随机分配协议以来,量子通信能否进行机密信息的安全直接传输一直是困扰量子通信界的一个难题.2000年,清华大学龙桂鲁等萌芽了量子安全直接通信的初步思想,随后的几年,我们建立了量子安全直接通信的完整理论,创建了4个判据,构造了2个最早期完整的量子安全直接通信代表性方案,为量子安全直接通信方案设计及其应用提供了物理原理依据,吸引了众多学者的关注与投入,促进了这一领域的发展.本文首先以第一个量子秘钥随机分配协议为例介绍量子通信如何为经典保密通信服务;随后,以最早期完整的2个量子安全直接通信方案为基础,阐述了为什么可以进行量子安全直接通信,并介绍量子安全直接通信的物理原理.     

量子安全直接通信

量子通信利用量子力学原理进行信息传输和处理,具有高安全、高容量等优点.量子安全直接通信在量子信道中直接传输秘密信息,是一种新式的量子通信模式.自2000年提出以来,量子安全直接通信得到了迅速的发展.该文综述量子安全直接通信的基本原理,描述几个典型的量子安全直接通信协议.最后介绍量子安全直接通信的最新发展动态,展望量子安全直接通信的未来.