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

arXiv 2017年

作者： Hsu, Ruei-Hau Lee, Jemin Quek, Tony Q.S. Chen, Jyh-Cheng ITrust Centre for Research in Cyber Security Singapore University of Technology and Design Singapore487372 Singapore Department of Information and Communication Engineering Daegu Gyeongbuk Institute of Science and Technology 43016 Korea Republic of Information Systems Technology and Design Pillar Singapore University of Technology and Design Singapore487372 Singapore Department of Computer Science National Chiao Tung University 300 Taiwan

Device-to-Device (D2D) communication is mainly launched by the transmission requirements between devices for specific applications such as Proximity Services in Long-Term Evolution Advanced (LTE-A) networks, and each application will form a group of registered devices for the network-covered and network-absent D2D communications. During the applications of D2D communication, each device needs to identify the other devices of the same group in proximity by their group identity. This leads to the exposure of group information, by which the usage of applications can be analyzed by eavesdroppers. Hence, this work introduces network-covered and network-absent authenticated key exchange protocols for D2D communications to guarantee accountable group anonymity, end-to-end security to network operators, as well as traceability and revocability for accounting and management requirements. We formally prove the security of those protocols, and also develop an analytic model to evaluate the quality of authentication protocols by authentication success rate in D2D communications. Besides, we implement the proposed protocols on android mobile devices to evaluate the computation costs of the protocols. We also evaluate the authentication success rate by the proposed analytic model and prove the correctness of the analytic model via simulation. Those evaluations show that the proposed protocols are feasible to the performance requirements of D2D communications. Copyright © 2017, The Authors. All rights reserved.

关键词： Analytical models

来源：评论

学校读者我要写书评

暂无评论

Study on Demand Response of Residential Power Customer

Study on Demand Response of Residential Power Customer

引用

Workshop 7 2016

作者： Xiu Cao Haiyong Jiang Lei Huang Xueping Wang Xuqi Zhang School of Computer Science Fudan University Engineering Research Center of Cyber Security Auditing and Monitoring Ministry of Education

In order to optimize the ladder-pricing scheme in Shanghai, we present a multi-objective optimization model(MOOM). To build this model, first we use price elasticity theory;divide the ladder pricing into peak electricity bill and valley electricity bill in the time dimension to model the single-user demand response. Second based on the single-user demand response model, combined with the overall users' electricity distribution density function, we build an all-users demand response model. The proposed model has two objectives: minimize energy consumption and maximize residents' satisfaction. Simulation results confirm that the proposed model can optimize the ladder-pricing scheme.

关键词： Demand Response Ladder Pricing Price Elasticity Ladder Pricing Optimization

来源：评论

学校读者我要写书评

暂无评论

HybridFlow: A lightweight control plane for hybrid SDN in enterprise networks

HybridFlow: A lightweight control plane for hybrid SDN in en...

引用

International Workshop on Quality of Service

作者： Siyuan Huang Jin Zhao Xin Wang School of Computer Science Fudan University Shanghai China Ministry of Education Engineering Research Center of Cyber Security Auditing and Monitoring China

ISBN: (纸本)9781509026357

Software-Defined Networking (SDN) has great potentials in changing the fragile and complex enterprise networks. One operational challenge to SDN deployment is the settlement of legacy switches. A hybrid SDN consisting of both SDN and legacy switches may be a tradeoff. Nevertheless most of the current SDN control planes can not handle legacy switches. To overcome this problem, we present HybridFlow, a lightweight control plane for hybrid SDN. HybridFlow can abstract a hybrid network into a logical SDN network and existing SDN control applications can run on it transparently.

关键词： Control systems Ports (computers) Servers computers Resource management Prototypes Software

来源：评论

学校读者我要写书评

暂无评论

Implementation of switching circuit models as transfer functions

Implementation of switching circuit models as transfer funct...

引用

International Symposium on Circuits and Systems

作者： David Kebo Houngninou Mitchell A Thornton Department of Computer Science and Engineering SMU Dallas Texas USA Darwin Deason Institute for Cyber Security SMU Dallas Texas USA

ISBN: (纸本)9781479953424

A transfer function is a mathematical function relating the output or response of a system to the input or stimulus. It is a concise mathematical model representing the input/output behavior of a system and is widely used in many areas of engineering including system theory and signal analysis. Binary Decision Diagrams (BDDs) are a canonical representation of Boolean functions. We implement a framework to build transfer function models of digital switching functions using BDDs and demonstrate their application on simulation and implication.

关键词： Logic gates Transfer functions Binary decision diagrams Mathematical model Wires Integrated circuit modeling Boolean functions

来源：评论

学校读者我要写书评

暂无评论

Teaching test-drive development using Dojo

Journal of Computing Sciences in Colleges

引用

Journal of Computing sciences in Colleges 2017年第4期32卷

作者： Young Lee Dhanunjaya Bhargavan Marepalli Jeong Yang Electrical Engineering and Computer Science Department Texas A&M University-Kingsville Computing and Cyber Security Department Texas A&M University-San Antonio

Teaching Test-Driven Development (TDD) to the students is challenging. TDD is best learned when it is actually performed rather than read about. Especially when the students are novice to TDD, starting by writing a test first seems to be extremely hard, and proceeding with the small steps that the TDD cycle requires often demands explicit guidance. Coding Dojo is a dynamic and collaborative activity where people can practice programming, especially techniques related to agile methods. This paper discusses the two experiments conducted to find out how Coding Dojo methodology improves the code coverage of students programming and how it improves motivation in students to learn TDD.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fast shortest-path queries on large-scale graphs

Fast shortest-path queries on large-scale graphs

引用

International Conference on Network Protocols

作者： Qiongwen Xu Xu Zhang Jin Zhao Xin Wang Tilman Wolf School of Computer Science Fudan University China Ministry of Education Engineering Research Center of Cyber Security Auditing and Monitoring China Department of Electrical and Computer Engineering University of Massachusetts Amherst USA

ISBN: (纸本)9781509032822

Shortest-path queries on weighted graphs are an essential operation in computer networks. The performance of such algorithms has become a critical challenge in emerging software-defined networks (SDN), since SDN controllers need to perform a shortest-path query for every flow. Unlike classic solutions (e.g., Dijkstra's algorithm), high-performance shortest-path query algorithms include two stages: preprocessing and query answering. Despite the improved query answering time, existing two-stage algorithms are still extremely time-consuming in preprocessing large-scale graphs. In this paper, we propose an efficient shortest-path query algorithm, called BBQ, which reduces the running time of both stages via tree decomposition. BBQ constructs a distance oracle in a bottom-top-bottom manner, which significantly reduces preprocessing time over existing algorithms. In addition, BBQ can answer batch queries in bulk by traversing the decomposed tree instead of executing separate queries. Our experimental results show that BBQ outperforms state-of-the-art approaches by orders of magnitude for the running time of the preprocessing stage. Meanwhile, BBQ also offers remarkable acceleration for answering batches of queries. As a result, SDN controllers that use BBQ can sustain 1.1-27.9 times higher connection request rates.

关键词： Phase locked loops Conferences Protocols Acceleration Runtime Time complexity

来源：评论

学校读者我要写书评

暂无评论

PRNU based source attribution with a collection of seam-carved images

PRNU based source attribution with a collection of seam-carv...

引用

IEEE International Conference on Image Processing

作者： Samet Taspinar Manoranjan Mohanty Nasır Memon Center for Cyber Security New York University Abu Dhabi UAE Department of Computer Science and Engineering New York University New York USA

Photo Response Non-Uniformity (PRNU) noise based source attribution is a well known technique to verify the source camera of an anonymous image or video. Researchers have proposed various counter measures to PRNU based source camera attribution. Forced seam-carving is a recently proposed counter forensics measure that was proposed to defeat PRNU based source attribution by disturbing the alignment of PRNU noise patterns. This paper shows that given a multiple number of seam-carved images, source attribution can still be reliably made even if the size of a non-carved image block is less than the recommended size of 50×50.

关键词： Cameras Radiation detectors Fingerprint recognition Forensics Correlation Reliability Size measurement

来源：评论

学校读者我要写书评

暂无评论

Complexity analysis and comparison of test paths based on DSE

Complexity analysis and comparison of test paths based on DS...

引用

ACIS International Conference on Software engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Jiawen Lu Lizhi Cai Yang Zhang Keyi Hong Laboratory of Computer Software Testing & Evaluation Shanghai Development Center of Computer Software Technology Shanghai China School of Information Science & Engineering East China University of Science and Technology Shanghai China Cyber Security Department of Shanghai Public Security Bureau Shanghai China

Dynamic symbolic execution (DSE) is a well-known program test technology which can generate test cases automatically through collecting constraints of the paths represented by symbolic value. Automated test based on DSE targets at covering all paths and branches in a limited time. Although DSE has been investigated for a few years, several challenges still exist which hinder the actual usage. Path explosion is one of the greatest challenges to solve, which decreases the test performance. Analyzing complexity of the execution paths of different test programs, and investigating the factors associated with the test efficiency become very important in the software testing life cycle.

关键词： Concrete Gold

来源：评论

学校读者我要写书评

暂无评论

Study on Demand Response of Residential Power Customer

引用

Journal of Power and Energy engineering 2016年第7期4卷 1-7页

作者： Xiu Cao Haiyong Jiang Lei Huang Xueping Wang Xuqi Zhang School of Computer Science Fudan University Shanghai China Engineering Research Center of Cyber Security Auditing and Monitoring Ministry of Education Shanghai China Xinneng Kaibo Industrial Co. Ltd. Shanghai China

In order to optimize the ladder-pricing scheme in Shanghai, we present a multi-objective optimization model (MOOM). To build this model, first we use price elasticity theory;divide the ladder pricing into peak electricity bill and valley electricity bill in the time dimension to model the single-user demand response. Second based on the single-user demand response model, combined with the overall users’ electricity distribution density function, we build an all-users demand response model. The proposed model has two objectives: minimize energy consumption and maximize residents’ satisfaction. Simulation results confirm that the proposed model can optimize the ladder-pricing scheme.

关键词： Demand Response Ladder Pricing Price Elasticity Ladder Pricing Optimization

来源：评论

学校读者我要写书评

暂无评论

Source camera attribution using stabilized video

Source camera attribution using stabilized video

引用

IEEE International Workshop on Information Forensics and security (WIFS)

作者： Samet Taspinar Manoranjan Mohanty Nasir Memon Center for Cyber Security New York University Abu Dhabi Abu Dhabi UAE Department of Computer Science and Engineering New York University New York USA

ISBN: (纸本)9781509011391

Although PRNU (Photo Response Non-Uniformity)-based methods have been proposed to verify the source camera of a non-stabilized video, these methods may not be adequate for stabilized videos. The use of video stabilization has been increasing in recent years with the development of novel stabilization software and the availability of stabilization in smart-phone cameras. This paper presents a PRNU-based source camera attribution method for out-of-camera stabilized video (i.e., stabilization applied after the video is captured). The scheme can (i) automatically determine if a given video is stabilized, (ii) calculate the fingerprint from a stabilized video, and (iii) effectively correlate the fingerprint computed from a stabilized video (i.e., anonymous video) with a fingerprint computed from another stabilized or non-stabilized video (i.e., a known video). Furthermore, experimental results show that the source camera of an anonymous non-stabilized video can be verified using a fingerprint computed from a set of images.

关键词： Cameras Correlation Optical sensors Software Adaptive optics Electronic mail Geometrical optics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：