【摘 要】
:
分别采用strandspace和BAN逻辑,分析MANET安全路由协议的phusible route属性.分析结果表明MANET路由协议的安全性本质上是建立在网络中可信节点之间实体认证和消息完整性认证机
【机 构】
:
解放军理工大学指挥自动化学院,解放军理工大学通信工程学院
论文部分内容阅读
分别采用strandspace和BAN逻辑,分析MANET安全路由协议的phusible route属性.分析结果表明MANET路由协议的安全性本质上是建立在网络中可信节点之间实体认证和消息完整性认证机制的基础上;传统的安全协议形式化分析工具适用于MANET安全路由协议的分析.
其他文献
<正> 马克思在《哥达纲领批判》中说按劳分配有弊病,列宁在《国家与革命》中说按劳分配有缺点,现在有的政治经济学教材说按劳分配有历史局限性。弊病、缺点、历史局限性是同义词。按劳分配的弊病是什么?人们向来是这样说的:它以同一的尺度——劳动应用于不同的劳动者,因而出现事实上的不平等,出现劳动者生活富裕程度的差别。大家认为这样理解是符合原著精神的。可是联系我国三十多年来的实践,我觉得对按劳分配的弊病要重新认识。社会主义社会个人消费品实行按劳分配,必然出现劳动者生活富裕程度的差别。这是明摆着的事实。对
针对文本分类问题中的特征降维问题,改进最大散度差鉴别准则,引入核变换作为前处理,使最大散度差鉴别准则可适用于更广泛的文本分类情形.提出一种基于核的非线性鉴别方法用于文本特征抽取.借助于核变换解决了散度差准则在用于文本分类时线性可分性较差的问题.在最低限度减少信息损失的前提下实现了特征维数的大幅度减缩.文本分类试验结果表明,这种非线性方法与无核的最大散度差方法相比,F1值提高了4.7%,具有明显的效
我国流行的社会主义市场经济概念,存在着明显的认识偏差,即“市场工具论”这种错误认识。所谓“市场工具论”即是将市场视为资源配置的工具或手段,由此断言市场经济一社会制度不相干。“市场工具论”有两个思想来源:一是新古典经济学的“资源配置中心论”,二是东欧的“市场社会主义”理论。这两种思想都是片面和狭隘的。“市场工具论”对社会主义国家的改革产生了深远影响,它是导致市场秩序混乱的思想根源。
据国家外汇管理局公布的统计数据表明,到2004年9月底,我国外债余额已达2232.73亿美元.近一两年间,欧元和日元等币种汇率波动幅度大,美联储连续提高其贷款利率,国际市场利率升
上帝问题是莱维纳斯哲学中不可或缺的论题。莱维纳斯批判西方哲学传统的上帝观以本体论方式理解上帝,认为在存在的层面上上帝是缺席的,并从柏拉图的“善”和笛卡尔的“无限性”寻找到这一思想资源。同时他另辟蹊径,指出应从“踪迹”、从“他人”体会上帝,只有在与“他人”的伦理关系中才能走向上帝,从而使上帝问题在康德之后与伦理问题再次结为一体。
针对海量信息系统的约简问题提出了分层约简算法,通过对确定增量算子的深入讨论,得到一系列定理,进一步给出了有核信息系统与无核信息系统的分层约简算法,最后,通过一个实例,证明了
考虑了定点SOC芯片的处理能力、存储空间限制,提出一种查找表和定点泰勒级数展开相结合的方法逼近非线性函数,并给出加速收敛的方法,用6阶泰勒级数展开就可以得到很高的精度.实验结果表明,需要存储空间减小为完全查找表法的15%,误差减小为Tsung-Han Tsai提出的改进查表法的33%[1].
我国现有400多万家企业,再加上“入世”以及全球经济一体化进程的加快,使得企业面临着空前激烈的市场竞争,而企业之间的竞争表面上表现为产品、技术乃至管理的竞争,尤其是面临知
<正> 近几年来对社会主义经济形态的认识和表述,归纳起来有如下几种:社会主义经济是商品经济;社会主义经济是计划经济;社会主义经济既是计划经济又是商品经济;社会主义经济是有计划的商品经济;社会主义经济是带有商品性的计划经济;社会主义经济是在生产资料公有制基础上存在商品生产和商品交换的计划经济。把社会主义经济说成是商品经济,显然不妥。尽管商品经济在社会主义社会还继续存在,但是,它决不能代表社会主义经济的全部和本质。这是因为在社会主义经济形态中,已有非商品性的新的经济因素;况且,在商品经济发展的漫