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

GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference

作者： Meng Ge Kwok-yan Lam Xiuqun Wang Zhiguo Wan Bin Jiang Key Laboratory of Information System Security Ministry of Education Tsinghua National Laboratory of Information Science and Technology School of Software Tsinghua University Beijing China National Mobile Communications Research Laboratory South-East University Nanjing China

With rapid growth of Online Social Networks (OSN), more and more users are attracted to share their personal information or even cooperate in business via OSN. Therefore, the issues of privacy and security in OSN become more important than ever. In this paper, we address the issue of securely delivering message through OSN. A secure message delivery scheme based on profile images, called VisualSec, is proposed. One of the main differences between our scheme and existing schemes is that we utilize visual identifier, i.e., profile image which is common in OSN, as the public key. Furthermore, the proposed scheme does not depend on a single trusted authority (or multiple trusted authorities), instead, it is a fully distributed scheme exploiting social relationships formed by OSN to provide authentication and key generation services. With a profile image, one could encrypt and deliver messages which could only be decrypted by the user who is identical to that image. The implementation issues as well as the efficiency and security of VisualSec are discussed and evaluated in this paper. It is illustrated that the proposed scheme is a feasible and efficient solution for delivering message securely through OSN.

关键词： Authentication Electronic mail Privacy Receivers Public key

来源：评论

学校读者我要写书评

暂无评论

An Ultra-kernel Model for Dedicated security Systems

An Ultra-kernel Model for Dedicated Security Systems

引用

International Conference on Education technology and Computer, ICETC

作者： Jing Wang Luning Xia Jiwu Jing Department of Electronic Engineering and information Science University of Science and Technology Hefei China State Key Laboratory of information Security Chinese Academy and Sciences Beijing China

security, simplicity, efficiency, are three important aspects of system architecture design, especially for dedicated security systems. The legacy horizontal-layered architectures (e.g., microkernel model) suffer from lacking of many desired features, such as flexibility, security and deployability. In this paper, we propose a new kernel model with vertical architecture, called ultra-kernel model, to make kernel smaller and provide application programmers with direct hardware access. We show that this model has visible advantages over the microkernel architecture, among them, fault-code tolerance and application isolation. To test and evaluate our proposed model, we have implemented a prototype firewall system based on our ultra-kernel design in a developing environment. The ultra-kernel with message exchange contains only 870 lines of C/C++ source code. Measurements show that the performances of the prototype firewall is significantly improved, comparing with an optimized Linux system on the same hardware platform.

关键词： Kernel Hardware Information security Computer architecture Prototypes Educational technology Control systems Guidelines Communication system security Computer science education

来源：评论

学校读者我要写书评

暂无评论

Region of Interest Automatic Extraction for Color Image Based on Mathematical Morphology

Region of Interest Automatic Extraction for Color Image Base...

引用

International Conference on Computer and Information technology (CIT)

作者： Xiao-hong Zhang Yuan-yuan Zhu Zhong-kui Fan School of Information Engineering Jiangxi University of Science and Technology Ganzhou China Information Security Center State Key Laboratory of Networking and Switching Beijing University of Posts and Telecommunications Beijing China

Combined with human visual characteristics and morphological watershed algorithm, a novel image processing method was proposed for automatic region of interest (ROI) extraction. The color image would be converted into gradient map, then smooth the map using the method of morphological opening and closing operators, last thresholding it. For discriminating the very small regions which are segmented as ROI, considering the luminance and saturation characteristics of color image, the homogeneity measure criteria was applied to merge them with their similar neighboring regions, then removed the background from the image . According to the experiment results, over-segmentation caused by watershed algorithm has been greatly improved, and this method is proved to be feasible and valid.

关键词： Color Image segmentation Data mining Image processing Image converters Surface morphology Surface topography Pixel Telecommunication computing Information technology

来源：评论

学校读者我要写书评

暂无评论

Model Checking Needham-Schroeder security Protocol Based on Temporal Logic of Knowledge

Model Checking Needham-Schroeder Security Protocol Based on ...

引用

International Conference on Networks security, Wireless Communications and Trusted Computing, NSWCTC

作者： Xiangyu Luo Yan Chen Ming Gu Lijun Wu School of Software Key Laboratory of Security for Information System of Ministry of Education Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic Technology Guilin China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

ISBN: (纸本)9781424442232

Formal verification approaches can guarantee the correctness of security protocols. In this paper we take the well-known Needham-Schroeder public-key authentication protocol as an example, to show how we can apply the symbolic model checker for multiagent systems MCTK, which is developed by us, to the verification of security protocols. One temporal epistemic property is checked successfully both in the original version and the Lowe's revised version of the Needham-Schroeder protocol. The experimental result shows that our method is an effective way to the verification of security protocol.

关键词： Logic Computer security Cryptographic protocols Communication system security Information security Electronic mail Authentication Multiagent systems Cryptography Computer networks

来源：评论

学校读者我要写书评

暂无评论

Novel high-order spring-dashpot-mass boundary for cylindrical-symmetry wave motions in infinite domain

引用

Lixue Xuebao/Chinese Journal of Theoretical and Applied Mechanics 2009年第2期41卷 207-215页

作者： Du, Xiuli Zhao, Mi Key Laboratory of Urban Security and Disaster Engineering Beijing University of Technology Beijing 100124 China

A novel high-order spring-dashpot-mass model (SDMM) for convolution integral of force-displacement relationship in time domain is proposed and applied into the cylindrical-symmetry wave motions in infinite domain as an artificial boundary condition (ABC). First, the high-order SDMM is dynamically and numerically stable, while low- and high-frequency instabilities occur under the displacement-type ABCs in term of space-time extrapolation, such as multi-transmitting formula (MTF) and Pade boundary. Second, SDMM has higher numerical accuracy than the stress-type ABCs, such as viscous boundary (VB) and viscous-spring boundary (VSB). Third, SDMM is strictly doubly asymptotic at low- and high-frequency limits, and can be degenerated to VB or VSB. Fourth, SDMM can be incorporated simply and easily into commercial FE software by using the internal spring-dashpot and mass elements and time-integration solvers. Several numerical cases were carried out to validate the particular features of SDMM.

关键词： Boundary conditions

来源：评论

学校读者我要写书评

暂无评论

Modeling and design for dynamic workflows based on flexible activities

引用

Information technology Journal 2009年第5期8卷 750-756页

作者： Li, Peng Du, Yuyue 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

A rapidly changing environment forces the workflow management systems to change their workflow processes ever more frequently. In order to improve the flexibility of workflow management systems, a dynamic workflow model is proposed in this study. The concepts of flexible activities and historical execution information are put forward to construct dynamic workflow models in this method. Each flexible activity is used to encapsulate a group of indeterminate factors, e.g., the constraint rules and optional sub-activities when reifying a flexible activity. Historical execution information is the executive logging of a previous workflow instance. Two algorithms are put forward to guarantee the correctness of sub-workflows and the global control of dynamic processes. Furthermore, a simple example is given to validate the proposed dynamic workflow model. However, this method cannot perform well if there existing loop structures in sub-workflows and the reifying processes of flexible activities are not intelligent enough. © 2009 Asian Network for Scientific Information.

关键词： Workflow management

来源：评论

学校读者我要写书评

暂无评论

A process generation approach of dynamic workflows based description logics

引用

Information technology Journal 2009年第7期8卷 998-1005页

作者： Zhang, Fu Xin Du, Yu Yue 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

To make workflow processes more flexible, a dynamic generation approach tor workflow processes corresponding to an instance is presented in this study. An activity, a part of a workflow, is defined as an action based on Description Logics (DLs). User preferences are considered, since a final solution should satisfy user preferences as much as possible. Also, a hierarchical workflow ontology model is proposed and a deciding method for basic routing relations in workflows is provided to produce the processes completely. Then for generating the processes, a new planning algorithm of workflow processes, DPWPG: Dynamic Planning for Workflow Process Generation, is presented and used to search matching activities in a workflow ontology model, according to ontological reasoning in semantic activities and users' preferences. Finally, an example is given to test the performance of the planning algorithm. © 2009 Asian Network tor Scientific Information.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Measurement of micro-scale two-phase flow in a pulsating heat pipe using electrical capacitance tomography

引用

Zhongguo Dianji Gongcheng Xuebao/Proceedings of the Chinese Society of Electrical engineering 2009年第17期29卷 103-107页

作者： Li, Jing-Tao Xiao, Hai-Ping Dong, Xiang-Yuan Liu, Shi Key Laboratory of Power System Protection and Dynamic Security Monitoring and Control North China Electric Power University Changping District Beijing 102206 China School of Energy and Environmental Engineering Zhongyuan Institute of Technology Zhengzhou 450007 Henan Province China

The electrical capacitance tomography (ECT) system was used to the visualization of the two-phase flow as well as the measurement of the film thickness in a pulsating heat pipe (PHP). The new-developed micro-sensor was also applied as a part of the flow channel, with the characteristics of heat transfer and hydrodynamics similar to the measured tube. The measurement accuracy and the image resolving power were improved as compared with the conventional sensors. So the applied area of the ECT technology was widened. The experimental results indicate that there might exist three flow patterns, i.e. bubble-liquid slug flow, semi-annular flow and annular flow, corresponding to different operating conditions. The measurement results of the film thickness compare well with the actual conditions, and the trend of the film thickness can realize the identification of the flow patterns.

关键词： Two phase flow

来源：评论

学校读者我要写书评

暂无评论

A Remote User Authentication Scheme Preserving User Anonymity and Traceability

A Remote User Authentication Scheme Preserving User Anonymit...

引用

International Conference on Wireless Communications, Networking and Mobile Computing (WiCom)

作者： Shuai Shao Hui Li Xinxi Niu Yixian Yang Information Security Center Beijing University of Posts and Telecommunications Beijing China State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China Information Attack & Defence Technology of MOE Beijing University of Posts and Telecommunications Beijing China National Engineering Laboratory of Disaster Backup and Recovery Beijing University of Posts and Telecommunications Beijing China

Many smart card based remote authentication schemes have been proposed to preserve user privacy against eavesdropper. However, none of the exiting scheme provides both users' anonymity to server and traceability to the malicious user. In this paper, we present a scheme that preserve user anonymity not only against outside attackers, but also against the remote server. When a malicious user was found, server can trace the user with the help of the trusted third party.

关键词： Authentication Protection Smart cards Laboratories Privacy Computer crime Information security Telecommunication switching Law Legal factors

来源：评论

学校读者我要写书评

暂无评论

Development of an in vivo computer for 3-SAT problem

Development of an in vivo computer for 3-SAT problem

引用

International Conference on Bio-Inspired Computing: Theories and Applications, BICTA

作者： Xiangrong Liu Shudong Wang Xiaoli Qiang Key laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing China College of Information Science and Engineering Shandong University of Science and Technology Qingdao Shandong China Peking University Beijing Beijing CN

DNA computing is a bio-computing paradigm based on the specific hybridization of DNA strands. Most of DNA computing models and experiments were held in vitro. In this paper, a DNA computing paradigm in vivo is presented. A synthetic gene network is constructed by RNAi and lactose operon in living cell for solving minimum dominating set problem. This model explores further the ability to solve hard problems based on organism processing signal.

关键词： In vivo DNA computing Biology computing Genetics Negative feedback loops Feedback circuits Circuit stability Concurrent computing Laboratories Educational technology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：