检索结果-内蒙古大学图书馆

Analysis and verification of dynamic stock trading systems

Information Technology Journal 2008年第3期7卷 466-473页

作者： Du, Yuyue Zheng, Hong Yu, Shuxia College of Information Science and Engineering Shandong University of Science and Technology Qingdao 266510 China Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100080 China

A dynamic stock trading system with a distributed shared memory is analyzed formally based on its temporal Petri net model. The functional correctness of the system is formally verified and some important properties of the system are investigated, such as liveness, fairness, safeness and temporal properties. Finally, conclusions are found. © 2008 Asian Network for Scientific Information.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Key continual-leakage resilient broadcast cryptosystem from dual system in broadcast networks

引用

Frontiers of computer science 2014年第3期8卷 456-468页

作者： Mingwu ZHANG Yi MU School of Computer Sciences Hubei University of Technology Wuhan 430068 China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing 100093 China School of Computer Science and Software Engineering University of Wollongong Wollongong NSW 2522 Australia

In order to tolerate possible leakage of secret keys, leakage-resilient cryptosystem models a class of attractive leakage output by allowing an adversary to provide any computable leakage function and learning the partial keys or other possible intemal states from the output of function. In this work, we present an adaptively secure broadcast encryption resilient to key continual leakage in the standard model. Our scheme provides the tolerance of continual leakage, in which any user can generate multiple private keys per user by periodically updating the key. We use the dual system encryption mechanism to implement the leakage resilience and adaptive security, and intrinsically set an algorithm to refresh a key and produce a same distributed new key. We also give the evaluation of the leakage bound and leakage fraction, and the simulations show that our scheme can tolerate about 71% leakage fraction with 3.34× 10^-52 failure probability in standard 80-bit security level when we adjust the leakage factor to allow the private key to be 100 Kb.

关键词： broadcast encryption leakage resilience dual system encryption leakage fraction

来源：评论

学校读者我要写书评

暂无评论

Parallel software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip

引用

Journal of computer science & Technology 2023年第2期38卷 405-421页

作者：张颖季鹏飞朱潘玮 Zebo Peng 李华伟江建慧 School of Software Engineering Tongji UniversityShanghai 200092China Department of Computer and Information Science Linkoping UniversityLinkoping 58183Sweden Institute of Computing Technology Chinese Academy of SciencesBeijing 100190China

Online testing is critical to ensuring reliable operations of the next generation of supercomputers based on a kilo-core network-on-chip(NoC)interconnection *** present a parallel software-based self-testing(SBST)solution that makes use of the bounded model checking(BMC)technique to generate test sequences and parallel *** this method,the parallel SBST with BMC derives the leading sequence for each router’s internal function and detects all functionally-testable faults related to the function.A Monte-Carlo simulation algorithm is then used to search for the approximately optimum configuration of the parallel packets,which guarantees the test quality and minimizes the test ***,a multi-threading technology is used to ensure that the Monte-Carlo simulation can reach the approximately optimum configuration in a large random space and reduce the generating time of the parallel *** results show that the proposed method achieves a high fault coverage with a reduced test ***,by performing online testing in the functional mode with SBST,it effectively avoids the over-testing problem caused by functionally untestable turns in kilo-core NoCs.

关键词： software-based self-testing(SBST) parallel test kilo-core networks-on-chip(NoCs) online testing

来源：评论

学校读者我要写书评

暂无评论

A selective literature review on cyber counterintelligence 17

A selective literature review on cyber counterintelligence

引用

17th European Conference on Cyber Warfare and Security, ECCWS 2018

作者： Duvenage, Petrus Jaquire, Victor Von Solms, Sebastian Centre for Cyber Security Academy of Computer Science and Software Engineering University of Johannesburg South Africa

ISBN: (纸本)9781911218852

For state and non-state actors with sizable cyber interests, numerous breaches during this decade affirmed the necessity of having cyber counterintelligence (CCI) at the centre of cybersecurity efforts. Concurrent with the growing interest in CCI in corporate boardrooms and the corridors of governments, CCI is evolving from a field of academic enquiry to a distinctive academic sub-discipline. The growing body of CCI-focused literature clearly attests to this evolvement. A review of such literature not only has self-evident benefits for CCI’s academic progression, but is also of use to the increasing number of practitioners specialising or interested in this area. Attempting a comprehensive literature review within the confines of a conference paper will be over-ambitious and, in the case of CCI, pre-mature. Therefore, the aim with this paper is to submit a tentative, selective review on CCI literature. This tentative ‘bird’s eye view’ will hopefully provide a premise for progressing towards a more extensive and in-depth literature review. © 2018 Curran Associates Inc. All rights reserved.

关键词： Cybersecurity

来源：评论

学校读者我要写书评

暂无评论

Global video object segmentation with spatial constraint module

引用

Computational Visual Media 2023年第2期9卷 385-400页

作者： Yadang Chen Duolin Wang Zhiguo Chen Zhi-Xin Yang Enhua Wu Engineering Research Center of Digital Forensics Ministry of EducationSchool of Computer and SoftwareNanjing University of Information Science and TechnologyNanjing 210044China State Key Laboratory of Internet of Things for Smart City Department of Electromechanical EngineeringUniversity of MacaoMacao 999078China State Key Laboratory of Computer Science Institute of SoftwareUniversity of Chinese Academy of SciencesBeijing 100190China Faculty of Science and Technology University of MacaoMacao 999078China

We present a lightweight and efficient semisupervised video object segmentation network based on the space-time memory *** some extent,our method solves the two difficulties encountered in traditional video object segmentation:one is that the single frame calculation time is too long,and the other is that the current frame’s segmentation should use more information from past *** algorithm uses a global context(GC)module to achieve highperformance,real-time *** GC module can effectively integrate multi-frame image information without increased memory and can process each frame in real ***,the prediction mask of the previous frame is helpful for the segmentation of the current frame,so we input it into a spatial constraint module(SCM),which constrains the areas of segments in the current *** SCM effectively alleviates mismatching of similar targets yet consumes few additional *** added a refinement module to the decoder to improve boundary *** model achieves state-of-the-art results on various datasets,scoring 80.1%on YouTube-VOS 2018 and a J&F score of 78.0%on DAVIS 2017,while taking 0.05 s per frame on the DAVIS 2016 validation dataset.

关键词： video object segmentation semantic segmentation global context(GC)module spatial constraint

来源：评论

学校读者我要写书评

暂无评论

Pseudo complementary measurement for traditional single-pixel cameras

引用

Chinese Physics B 2020年第11期29卷 315-322页

作者： Qian Dong Xu-Ri Yao Xin Liu Bing Liu Guang-Jie Zhai State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China Key Laboratory of Electronics and Information Technology for Space Systems National Space Science CenterChinese Academy of SciencesBeijing 100190China State Key Laboratory of Scientific and Engineering Computing Academy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100049China

A traditional single-pixel camera needs a large number of measurements to reconstruct the object with compressive sensing *** with the 1/0 matrices in classical measurement,the 1/-1 matrices in the complementary measurement has better property for reconstruction computation and returns better reconstruction ***,each row of the 1/-1 matrices needs two measurements with the traditional single-pixel camera which results into double measurements compared with the 1/0 *** this paper,we consider the pseudo complementary measurement which only takes the same amount of measurements with the row number of some properly designed 1/0 matrix to compute the total luminous flux of the objective and derives the measurement data of the corresponding 1/-1 matrix in a mathematical *** numerical simulation and experimental result show that the pseudo complementary measurement is an efficient tool for the traditional single-pixel camera imaging under low measurement rate,which can combine the advantages of the classical and complementary measurements and significantly improve the peak signal-to-noise ratio.

关键词： computational imaging single-pixel camera

来源：评论

学校读者我要写书评

暂无评论

Modeling non-repudiation in distributed systems

引用

Information Technology Journal 2008年第1期7卷 228-230页

作者： Zheng, Hong Du, YuYue Yu, ShuXia Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China College of Information Science and Engineering Shandong University of Science and Technology Qingdao 266510 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100080 China

As an important security service in distributed systems, non-repudiation is required to implement evidence generating or validating in the application layer. Formal methods are powerful tools to provide security services. The study applies labeled colored Petri nets to modeling and analysis of the non-repudiation in distributed environment. © 2008 Asian Network for Scientific Information.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Roundtable： Research Opportunities and Challenges for Emerging software Systems

引用

Journal of computer science & Technology 2015年第5期30卷 935-941页

作者：张翔宇张冬梅 Yves Le Traon 王青张路 Department of Computer Science Purdue University West Lafayette IN 47907 U.S.A. Microsoft Research Beijing 100080 China Faculty of Science Technology and Communication University of Luxembourg Luxembourg Institute of Software Chinese Academy of Sciences Beijing 100190 China School of Electronics Engineering and Computer Science Peking University Beijing 100871 China

For this special section on software systems special section, discuss important issues that will shape several research leaders in software systems, as guest editors for this this field＇s future directions. The essays included in this roundtable article cover research opportunities and challenges for emerging software systems such as data processing programs （Xiangyu Zhang） and online services （Dongmei Zhang）, with new directions of technologies such as unifications in software testing （Yves Le Traon）, data-driven and evidence-based software engineering （Qing Wang）, and dynamic analysis of multiple traces （Lu Zhang）. Tao Xie, Leading Editor of Special Section on Softwaare Svstem.

关键词： data processing program software analytics online service software testing data-driven software engineering evidence-based software engineering

来源：评论

学校读者我要写书评

暂无评论

Forgeability of Wang-Zhu-Feng-Yau’s Attribute-Based Signature with Policy-and-Endorsement Mechanism

引用

Journal of computer science & Technology 2013年第4期28卷 743-748页

作者：葛爱军黄欣沂陈成马传贵张锐 State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Information Science and Technology Institute State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Fujian Provincial Key Laboratory of Network Security and Cryptology School of Mathematics and Computer ScienceFujian Normal University Institute of Software Chinese Academy of Sciences

Recently, Wang et al. presented a new construction of attribute-based signature with policy-and-endorsement mechanism. The existential unforgeability of their scheme was claimed to be based on the strong Diffie-Hellman assumption in the random oracle model. Unfortunately, by carefully revisiting the design and security proof of Wang et alfs scheme, we show that their scheme cannot provide unforgeability, namely, a forger, whose attributes do not satisfy a given signing predicate, can also generate valid signatures. We also point out the flaws in Wang et al.＇s proof.

关键词： attribute-based signature existential unforgeability policy-and-endorsement

来源：评论

学校读者我要写书评

暂无评论

Mobile robot path planning based on adaptive bacterial foraging algorithm

引用

Journal of Central South University 2013年第12期20卷 3391-3400页

作者：梁晓丹李亮玉武继刚陈瀚宁 School of Computer Science and Software Tianjin Polytechnic University School of Mechanical and Engineering Tianjin Polytechnic University Laboratory of Information Service and Intelligent Control Shenyang Institute of AutomationChinese Academy of Sciences

The utilization of biomimicry of bacterial foraging strategy was considered to develop an adaptive control strategy for mobile robot, and a bacterial foraging approach was proposed for robot path planning. In the proposed model, robot that mimics the behavior of bacteria is able to determine an optimal collision-free path between a start and a target point in the environment surrounded by obstacles. In the simulation, two test scenarios of static environment with different number obstacles were adopted to evaluate the performance of the proposed method. Simulation results show that the robot which reflects the bacterial foraging behavior can adapt to complex environments in the planned trajectories with both satisfactory accuracy and stability.

关键词： robot path planning bacterial foraging behaviors swarm intelligence adaptation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：