中药缓释制剂的研究进展

结合中药缓释制剂的研究进展,阐述了中药缓释制剂的现状及主要剂型,对目前中药缓释制剂的研究与应用相对滞后的原因作了简要分析,并提出了发展对策,为中药缓控释制剂的研究和开发提供参考。     

数字移动通信系统中认证协议的设计与分析

该文针对数字移动通信系统的背景和需求, 基于公钥密码体制设计了一个端端密钥分发协议,基于对称密码体制设计了一个身份认证协议,并利用Spi演算对身份认证协议进行了分析,证明了其安全性。     

基于Spi演算的SSL3.0协议安全性分析

对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他分析方法相同的结论。     

上海生态住宅示范楼技术集成体系

绿色建筑遵循“节约能源、节省资源、保护环境、以人为本”的基本理念,是最能体现可持续发展能力的建筑模式。本文重点介绍上海市科委重大科研攻关项目主要成果之一“上海生态住宅示范楼”的“零(低)建筑能耗、资源高效循环利用、智能高品质居住环境”等先进技术集成体系。     

既有建筑绿色化的改造策略与工程实践

既有建筑量大面广,其中绿色建筑占比很小,因此,对既有建筑进行绿色化改造前景广阔。而在绿色建筑基本理念和既有建筑约束条件基础上,在现有关键技术研发和工程实践基础上,结合国内外既有建筑改造已有典型工程案例,将有助于实践"因地制宜、成本低廉、追求实效、提升品质"的既有建筑绿色化改造原则,有助于完善既有建筑绿色化改造技术策略,并可以为今后量大面广的既有建筑改造提供积极的借鉴。     

调和安全协议两种分析方法的理论研究

安全协议形式化分析方法分为两种,即符号方法和计算方法.比较两种方法,它们各有优缺点.目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点.针对该问题,对目前国际上流行的相关方法进行了分类总结,并对涉及到的技术手段进行了全面分析.     

一种基于模重写系统的攻击者推理方法

为了解决安全协议验证中攻击者模等式理论推理的可操作性问题,提出并设计了一种基于模重写系统的攻击者推理方法。该方法建立在一个反映两种密码原语代数特性的联合理论实例之上,由一组定向的重写规则和非定向的等式构成,前者进一步转化为项重写系统TRS(Term Rewriting System),而后者则转化为有限等价类理论,通过定义项间的模重写关系,使二者构成一个可以反映攻击者针对联合理论代数项操作能力的模重写系统。实例分析表明,该模型为攻击者模等式推理规则赋予了明确的操作语义,可以使攻击者达到对安全协议代数项规约、推理的目的。     

自组网环境下基于组合公钥的分布式密钥管理

结合组合公钥密码体制和秘密共享思想,针对移动自组网环境,提出了一种分布式密钥管理方案。从系统初始化、管理平台构建、节点公私钥生成、私钥矩阵份额更新等4个方面进行了详细描述,并给出了具体实施方法。分析表明,该方案具有安全性高、扩展性强、计算量小、适用性好的特点,特别适合移动自组网环境。     

绿色公共建筑评价标准与技术设计策略

本文通过解析《绿色建筑评价标准》(GB/T50378-2006)的编制背景,针对公共建筑的评价要点,提出了绿色公共建筑的技术设计策略,并结合“上海生态办公示范楼”的成功案例加以分析。