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

International Conference on Parallel and Distributed Systems (ICPADS)

作者： Xu Yang Joseph K. Liu Wei Wu Man Ho Au Willy Susilo Fujian Provincial Key Laboratory of Network Security and Cryptology Fujian Normal University China and State Key Laboratory of Cryptology Beijing China Faculty of Information Technology Monash University Australia Department of Computing Hong Kong Polytechnic University Hong Kong School of Computer Science and Software Engineering University of Wollongong Australia

Electric Vehicle (EV) infrastructure is relatively new in many countries. Due to the recency of an EV infrastructure, it is important to carry out a series of testing programs. Furthermore, authenticity for collection of data is necessary for testing programs in order to provide accurate results. At the same time, user privacy should not cease since tracing one's daily logistic movements or behaviour from the EV testing programs means breaching one's privacy. In this paper, we propose a novel solution PEVTS for enabling both data authenticity and user privacy concurrently. Our proposed system provides great flexibility to the authority to choose any arbitrary set of authenticated users for testing in every time period. At the same time, it provides anonymity for all participating users. Yet it can trace any vehicle within a time period for statistical purpose. We give a detailed description of our system. We also implement the prototype of our system to show its practicality.

关键词： Testing Privacy Cryptography Electric vehicles Data privacy Authentication

来源：评论

学校读者我要写书评

暂无评论

Efficient and Provably-Secure Certificateless Proxy Re-encryption Scheme for Secure Cloud Data Sharing

引用

Journal of Shanghai Jiaotong university(science) 2014年第4期19卷 398-405页

作者：王亮亮陈克非毛贤平王永涛 Department of Computer Science and Engineering Shanghai Jiaotong University School of Science Hangzhou Normal University China Information Technology Security Evaluation Center

In current cloud computing system, large amounts of sensitive data are shared to other cloud users. To keep these data confidentiality, data owners should encrypt their data before outsourcing. We choose proxy reencryption （PRE） as the cloud data encryption technique. In a PRE system, a semi-trusted proxy can transform a ciphertext under one public key into a ciphertext of the same message under another public key, but the proxy cannot gain any information about the message. In this paper, we propose a certificateless PRE （CL-PRE） scheme without pairings. The security of the proposed scheme can be proved to be equivalent to the computational Dire- Hellman （CDH） problem in the random oracle model. Compared with other existing CL-PRE schemes, our scheme requires less computation cost and is significantly more efficient. The new scheme does not need the public key certificates to guarantee validity of public keys and solves the key escrow problem in identity-based public key cryptography.

关键词： cloud computing secure data sharing proxy re-encryption(PRE) certificateless encryption key escrow computational Diffie-Hellman(CDH) problem random oracle

来源：评论

学校读者我要写书评

暂无评论

Measurement and analysis of burst topic in microblog

International Journal of Database Theory and Application

引用

International Journal of Database Theory and Application 2015年第2期8卷 144-156页

作者： Dong, Guozhong Zou, Xin Wang, Wei Hu, Yaxue Shen, Guowei Orkphol, Korawit Yang, Wu Information Security Research Center Harbin Engineering University Harbin Heilongjiang Province China National Computer Network Emergency Response Technical Team/Coordination Center Beijing China Department of Computer Science and Technology Harbin Engineering University China Computer Engineering Department Kasetsart University Si Racha Campus Thailand

Microblog provides the first communication platform for burst event due to the immediacy and interactivity of microblog. In this paper, we research on user-oriented and message-oriented measurements of burst topic in Sina microblog. The measurements and analysis on large-scale Sina microblog data set show that our proposed measurement method can measure the characteristics of user and message propagation in burst topic. The measurement results in this paper can describe the formation and diffusion mechanism of burst topic which will contribute to better research of relevant issues on burst topic and ensure the well-developed of microblog. © 2015 SERSC.

关键词：

来源：评论

学校读者我要写书评

暂无评论

TrustICE: Hardware-Assisted Isolated Computing Environments on Mobile Devices

TrustICE: Hardware-Assisted Isolated Computing Environments ...

引用

International Conference on Dependable Systems and Networks (DSN)

作者： He Sun Kun Sun Yuewu Wang Jiwu Jing Haining Wang Department of Computer Science College of William and Mary Williamsburg VA USA State Key Laboratory of Information Security Data Assurance and Communication Security Research Center Beijing China University of Chinese Academy of Sciences Beijing China Department of Electrical and Computer Engineering University of Delaware Newark DE USA

Mobile devices have been widely used to process sensitive data and perform important transactions. It is a challenge to protect secure code from a malicious mobile OS. ARM TrustZone technology can protect secure code in a secure domain from an untrusted normal domain. However, since the attack surface of the secure domain will increase along with the size of secure code, it becomes arduous to negotiate with OEMs to get new secure code installed. We propose a novel TrustZone-based isolation framework named TrustICE to create isolated computing environments (ICEs) in the normal domain. TrustICE securely isolates the secure code in an ICE from an untrusted Rich OS in the normal domain. The trusted computing base (TCB) of TrustICE remains small and unchanged regardless of the amount of secure code being protected. Our prototype shows that the switching time between an ICE and the Rich OS is less than 12 ms.

关键词： Ice Watermarking Switches Random access memory Read only memory Program processors Mobile handsets

来源：评论

学校读者我要写书评

暂无评论

Case Base for Secure Software Development Using Software security Knowledge Base

Case Base for Secure Software Development Using Software Sec...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： Atsuo Hazeyama Masahito Saito Nobukazu Yoshioka Azusa Kumagai Takanori Kobashi Hironori Washizaki Haruhiko Kaiya Takao Okubo Department of Information Science Tokyo Gakugei University Tokyo JAPAN GRACE Center National Institute of Informatics Tokyo JAPAN Graduate School of Fundamental Science and Engineering Waseda University Tokyo JAPAN Department of Information Sciences Kanagawa University Hiratsuka JAPAN Graduate School of Education Tokyo Gakugei University Tokyo JAPAN Department of Information Study Tokyo Gakugei University Tokyo JAPAN Department of Computer Science and Engineering Waseda University Tokyo JAPAN Graduate School of Information Security Institute of Information Security (IISEC) Yokohama JAPAN

The importance of software security technologies has been gaining attention due to the increase in services on the Internet. Various technologies regarding software security have been developed. However, we believe knowledge regarding software security is not integrated, therefore, we have been developing a knowledge base for secure software development. We previously proposed a learning model that associates artifacts created in secure software development with knowledge in the knowledge base as design rationale. However, only a few case studies that addressed a full life cycle for secure software development have been reported. To mitigate this lack in reported case studies, Okubo et al. Created a common task regarding software security. In this study, we developed a case base of secure software development whose artifacts are associated with the knowledge base using this common task as a case.

关键词： Software Knowledge based systems Guidelines Force Unified modeling language Authentication

来源：评论

学校读者我要写书评

暂无评论

A methodology of component-based modeling for complex digital logic systems

引用

Journal of Computational information Systems 2014年第11期10卷 4557-4564页

作者： Chen, Fulong Sun, Yunxiang Zhou, Wen Ye, Heping Qi, Xuemei Department of Computer Science and Technology Anhui Normal University Wuhu 241002 China Network and Information Security Engineering Research Center Anhui Normal University Wuhu 241002 China

The increasing complexity of digital logic systems brings a heavy burden to designers. In order to reduce the gap between the design requirements and design results, it is necessary to model for the expected complex digital logic system. Component-based modeling is a methodology for constructing the model for the complex digital logic system between its requirements and the actual systems production. Through defining some components, designers can model virtual application system. It provides designers with inner-components behavior and structure models. Each digital logic system is decomposed into many subsystems-the biggest independent components interacting through interaction ports. This methodology can help the developers to understand the design intent preferably and speeding up the system development process. © 2014 Binary information Press.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

On the security of a forward-backward secure signature scheme

引用

International Journal of Network security 2015年第3期17卷 307-310页

作者： Wang, Liangliang Chen, Kefei Mao, Xianping Wang, Yongtao Department of Computer Science and Engineering Shanghai Jiao Tong University No. 800 Dongchuan Road Shanghai200240 China School of Science Hangzhou Normal University No. 16 Xuelin Street Hangzhou310036 China China Information Technology Security Evaluation Center No. 8 Yard of Shangdixilu Beijing100085 China

In a forward-secure signature scheme, a current exposed secret key can be used to obtain future secret keys which can lead to future signatures invalid. Lin et al. proposed a new method called backward-secure detection to construct forward-backward secure signature schemes to avoid this shortcoming. In this paper, we will show an attack to point out that their scheme doesn't satisfy back-ward security.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Mobihydra: Pragmatic and multi-level plausibly deniable encryption storage for mobile devices

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8783卷 555-567页

作者： Yu, Xingjie Chen, Bo Wang, Zhan Chang, Bing Zhu, Wen Tao Jing, Jiwu State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences China Data Assurance and Communication Security Research Center Chinese Academy of Sciences China University of Chinese Academy of Sciences China Department of Computer Science Stony Brook University United States

ISBN: (纸本)9783319132563

Nowadays, smartphones have started being used as a tool to collect and spread politically sensitive or activism information. The exposure of the possession of such sensitive data shall pose a risk in severely threatening the life safety of the device owner. Particularly, the data owner may be caught and coerced to give away the encryption keys. Under this circumstances, applying the encryption to data still fails to mitigate such risk. Plausibly deniable encryption (PDE) promisingly helps to circumvent the coercive attack by allowing the data owner to deny the existence of certain data. In this work, we present MobiHydra, a more pragmatic PDE scheme featuring multi-level deniability on mobile devices. Mobi- Hydra is pragmatic in that it remarkably supports hiding opportunistic data without necessarily rebooting the device. In addition, MobiHydra favorably mitigates the so-called booting-time defect, which is a whistleblower to expose the usage of PDE in previous solutions. We implement a prototype for MobiHydra on Google Nexus S. The evaluation results demonstrate that MobiHydra introduces very low overhead compared with other PDE solutions for mobile devices. © Springer International Publishing Switzerland 2014.

关键词： Mobile security

来源：评论

学校读者我要写书评

暂无评论

A research for partition restoration techniques

A research for partition restoration techniques

引用

8th FTRA International Conference on Future information Technology, FutureTech 2013

作者： Namgung, Jaeung Hong, Il Young Park, Jungheum Lee, Changhoon Lee, Sangjin Center for Information Security Technologies Korea University Seoul Korea Republic of Department of Computer Science and Engineering Seoul National University of Science and Technology Seoul Korea Republic of

ISBN: (纸本)9783642408601

As the capacity of storage is gradually larger, most of the users logically use the storage devices dividing into multiple partitions. Therefore recovering partition stably from artificial partition concealing or partition damage is a very important issue. In this paper, we suggest a partition recovery algorithm which can conduct reliable and efficient analysis using the characteristics of each file system, if the partition is secreted or isn't sectioned due to damage of partition area. © 2014 Springer-Verlag.

关键词： Digital forensics

来源：评论

学校读者我要写书评

暂无评论

A scheduling algorithm with dynamic properties in mobile grid

引用

Frontiers of computer science 2014年第5期8卷 847-857页

作者： JongHyuk LEE SungJin CHOI JoonMin GIL Taeweon SUH HeonChang YU Software R&D Center Samsung Electronics Gyeonggi-do 443-742 Republic of Korea Media Solution Center Samsung Electronics Gyeonggi-do 443-742 Republic of Korea School of Information Technology Engineering Catholic University of Daegu Gyeongsangbuk-do 712-702 Republic of Korea Graduate School of Information Security Korea University Seoul 136-701 Republic of Korea Department of Computer Science and Engineering Korea University Seoul 136-701 Republic of Korea

Mobile grid is a branch of grid computing that incorporates mobile devices into the grid infrastructure. It poses new challenges because mobile devices are typically resource-constrained and exhibit unique characteristics such as instability in network connections. New scheduling strate- gies are imperative in mobile grid to efficiently utilize the devices. This paper presents a scheduling algorithm that con- siders dynamic properties of mobile devices such as avail- ability, reliability, maintainability, and usage pattern in mo- bile grid environments. In particular, usage patterns caused by voluntarily or involuntarily losing a connection, such as switching off the device or a network interruption could be important criteria for choosing the best resource to execute a job. The experimental results show that our scheduling al- gorithm provides superior performance in terms of execution time, as compared to the other methods that do not consider usage pattern. Throughout the experiments, we found it es- sential to consider usage pattern for improving performance in the mobile grid.

关键词： mobile grid scheduling dynamic properties,availability reliability maintainability usage pattern

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：