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

Design, Automation and Test in Europe Conference and Exhibition

作者： Sören Tempel Tobias Brandt Christoph Lüth Christian Dietrich Rolf Drechsler Institute of Operating Systems and Computer Networks Technische Universität Braunschweig Braunschweig Germany Independent Researcher Bremen Germany Cyber-Physical Systems DFKI Bremen Germany Institute of Computer Science University of Bremen Bremen Germany

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Symbolic execution is an SMT-based software verification and testing technique. Symbolic execution requires tracking performed computations during software simulation to reason about branches in the software under test. The prevailing approach on symbolic execution of binary code tracks computations by transforming the code to be tested to an architecture-independent intermediate representation (IR) and then symbolically executes this IR. However, the resulting IR must be semantically equivalent to the binary code, making this process complex and error-prone. The semantics of the binary code are specified by the targeted instruction set architecture (ISA), commonly given in natural language and requiring a manual implementation of the transformation to an IR. In recent years, the use of formal languages to describe ISA semantics in a machine-readable way has gained increased popularity. We investigate the utilization of such formal semantics for symbolic execution of binary code, achieving an accurate representation of instruction semantics. We present a prototype for the RISC-V ISA and conduct a case study to demonstrate that it can be easily extended to additional instructions. Furthermore, we perform an experimental comparison with prior work which resulted in the discovery of five previously unknown bugs in the ISA implementation of the popular IR-based symbolic executor angr.

关键词： Accuracy Translation Target tracking Semantics computer bugs Prototypes Binary codes Manuals Engines Testing

来源：评论

学校读者我要写书评

暂无评论

Towards Accurate Bit Error Simulation in Wireless Sensor networks Including Environmental Influences

引用

Journal of computer Science & Technology 2020年第4期35卷 809-824页

作者： Sven Pullwitt Robert Hartung Ulf Kulau Lars Wolf Institute for Operating Systems and Computer Networks Technische Universitat BraunschweigBraunschweig 38106 Germany

Simulation is a common technique for the evaluation of new approaches and protocols in networked systems and provides many ***,it is also well known that the relevance of the simulation results for real-world applications depends on the various models which are used within the simulation,e.g.,for the characteristics of the radio *** this paper,we introduce the Extended Multipath Raytracing Model,an extension to the ray-tracing radio medium available in Cooja,to improve the modelling of wireless links in simulated Wireless Sensor *** extension allows the simulation of environmental influences onto links on a per node basis,allowing the analysis of various effects observed in experiments in a virtual ***,the packet-based modelling of transmission errors is extended to provide the simulation of bit errors,allowing new usage scenarios,like the simulation of error detection and Forward Error Correction codes in Cooja.

关键词： bit error Contiki Cooja environmental influence simulation wireless sensor network

来源：评论

学校读者我要写书评

暂无评论

On the Experiences with Testbeds and Applications in Precision Farming 1

On the Experiences with Testbeds and Applications in Precisi...

引用

1st ACM International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing systems, FAILSAFE 2017

作者： Hartung, Robert Kulau, Ulf Gernert, Björn Rottmann, Stephan Wolf, Lars Institute for Operating Systems and Computer Networks Germany Institute for Operating Systems and Computer Networks Germany Institute for Operating Systems and Computer Networks Germany Institute for Operating Systems and Computer Networks Germany Institute for Operating Systems and Computer Networks Germany

ISBN: (纸本)9781450354820

While success stories are likely to be reported, failures are rarely published - even if a lot can be learned from them. In this paper we present experiences and findings from our testbed and WSN deployments. Our PotatoNet has been deployed on an agricultural area in 2015 to perform several WSN outdoor experiments while measuring the stress of potato crops. It was extended a year later by the PotatoMesh, a solar panel-based mesh network of nodes. Throughout both of these deployments we experienced problems and failures at different stages of the projects. We derive key problems and some important concepts when it comes to outdoor WSN deployments.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

Efficient routing table lookup for IPv6 4

Efficient routing table lookup for IPv6

引用

4th IEEE Workshop on the Architecture and Implementation of High Performance Communication systems, HPCS 1997

作者： Zitterbart, M. Harbaum, T. Meier, D. Brokelmann, D. Institute of Operating Systems and Computer Networks TU Braunschweig Germany

High performance internetworking units, such as routers and bridges are key building blocks of current and emerging high performance networks. The aggregate data rate flowing through a router can be in the range of gigabits per second. In order to keep up with very high data rates, processing within the internetworking unit needs to be optimized. This paper concentrates on routing table look up. It presents a design for a routing table look up for gigabit routers running the new version of IP, EPv6. The proposed approach, HeaRT, is viewed as the core engine of an IM router. © 1997 IEEE.

关键词： Table lookup

来源：评论

学校读者我要写书评

暂无评论

Design of a flexible coprocessor unit

Design of a flexible coprocessor unit

引用

25th EUROMICRO Conference on Informatics: Theory and Practice for the New Millennium, EUROMICRO 1999

作者： Harbaum, Till Meier, Detlef Prinke, Matthias Zitterbart, Martina Institute of Operating Systems and Computer Networks TU Braunschweig Germany

ISBN: (纸本)0769503217

Todays FPGA technology allows reconfigurable hardware to be integrated into standard PC hardware. A hardware like this allows for on-the-fly reconfigurable hardware. It is possible to remove and insert complete subsystems just by reinitializing the configurable components. These systems make new demands on software that often can't be fulfilled by the classical device driver concept used in todays operating systems. This paper presents a flexible and on-the-fly reconfigurable hardware subsystem for interworking systems. Furthermore, a software integration for fast and efficient reconfiguration of the hardware is introduced. It provides a flexible integration into a Unix environment. © 1999 IEEE.

关键词： Reconfigurable hardware

来源：评论

学校读者我要写书评

暂无评论

Situation awareness based on channel measurements

Situation awareness based on channel measurements

引用

IEEE Vehicular Technology Conference

作者： Reschke, Markus Schwarzl, Sebastian Starosta, Johannes Sigg, Stephan Institute of Operating Systems and Computer Networks TU Braunschweig Germany

ISBN: (纸本)9781424483310

We study the feasibility of utilising the RF transceiver of a mobile device to establish some kind of situation awareness. Our results show that the analysis of channel characteristics can provide additional and sufficiently accurate context information. This situation awareness is cheap in the sense that it can be obtained from already ongoing communication in a network of nodes. In this paper we present results from a case study with several USRP software radios. We show how the presence, position and activity of persons in a room can be obtained exclusively from channel measurements. © 2011 IEEE.

关键词： Radio transceivers

来源：评论

学校读者我要写书评

暂无评论

Forward secure delay-tolerant networking 12

Forward secure delay-tolerant networking

引用

12th Workshop on Challenged networks, CHANTS 2017

作者： Rüsch, Signe Schürmann, Dominik Kapitza, Rüdiger Wolf, Lars TU Braunschweig Institute of Operating Systems and Computer Networks Germany

ISBN: (纸本)9781450351447

Delay-Tolerant networks exhibit highly asynchronous connections often routed over many mobile hops before reaching its intended destination. The Bundle Security Protocol has been standardized providing properties such as authenticity, integrity, and confidentiality of bundles using traditional Public-Key Cryptography. Other protocols based on Identity-Based Cryptography have been proposed to reduce the key distribution overhead. However, in both schemes, secret keys are usually valid for several months. Thus, a secret key extracted from a compromised node allows for decryption of past communications since its creation. We solve this problem and propose the first forward secure protocol for Delay-Tolerant Networking. For this, we apply the Puncturable Encryption construction designed by Green and Miers, integrate it into the Bundle Security Protocol and adapt its parameters for different highly asynchronous scenarios. Finally, we provide performance measurements and discuss their impact. © 2017 Association tor Computing Machinery.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

Secure smartphone-based registration and key deployment for vehicle-to-cloud communications

Secure smartphone-based registration and key deployment for ...

引用

1st International Academic Workshop on Security, Privacy and Dependability for CyberVehicles, CyCAR 2013, Co-located with the 20th ACM Conference on computer and Communications Security, CCS 2013

作者： Timpner, Julian Schürmann, Dominik Wolf, Lars Institute of Operating Systems and Computer Networks TU Braunschweig Braunschweig Germany

ISBN: (纸本)9781450324878

Intelligent Transportation systems that rely on Vehicle-to-Cloud communications are emerging. Of particular interest to us is the question how drivers can securely register their vehicle with cloud services and deploy keys for securing vehicular communications. We therefore present a secure smartphone-based registration and key deployment process for these applications. We combine an adapted OAuth flow for Smartphone-to-Cloud communications with a novel key deployment mechanism for Public Key Infrastructures in vehicular networks. The primary contributions of the proposed key deployment process are a high degree of independence from central authorities and feasible security audits due to an open protocol design. As an instance of future Intelligent Transportation System applications that facilitate Vehicle-to-Cloud communications, we utilize the V-Charge project as a running example to discuss potential attack scenarios and their mitigations. © 2013 ACM.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

Nearest-neighbor queries with well-spaced points

Nearest-neighbor queries with well-spaced points

引用

7th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2010

作者： Gray, Chris TU Braunschweig Institute of Operating Systems and Computer Networks Braunschweig Germany

ISBN: (纸本)9780769541129

We assume we are given a set of points that have the property that their Voronoi diagram - restricted to some suitable bounding box - consists of only fat cells. We call such points well-spaced points. We give a linear-sized data structure for finding the nearest neighbor to a query point among well-spaced points in O(log n) time. We further show how to extend the results to higher dimensions. Finally, we show how to find the Voronoi diagram of these points in O(nlogn) time in 3 dimensions. © 2010 IEEE.

关键词： Nearest neighbor search

来源：评论

学校读者我要写书评

暂无评论

NASDI - Naming and service discovery for DTNs in internet backbones

引用

5th International Conference on Mobile Wireless Middleware, operating systems, and Applications, Mobilware 2012

作者： Schildt, Sebastian Pöttner, Wolf-Bastian Ohneiser, Oliver Wolf, Lars Institute of Operating Systems and Computer Networks Technische Universität Braunschweig Germany

ISBN: (纸本)9783642366598

Delay Tolerant Networking (DTN) approaches based on the Bundle Protocol are commonly used within mobile IP based networks. Instead of being isolated applications, the Internet is often used to provide additional services or to route through other parts of the DTN network. A major drawback is that current DTN routing and discovery protocols are not generally applicable in the Internet as there is no common protocol to resolve DTN node names to convergence layer addresses outside a local network. We present Nasdi, an approach based on Distributed Hash Tables which can support naming, routing, notifications and service discovery in a heterogeneous DTN linked by the Internet. We present the architecture and initial evaluations of a Nasdi prototype system we built for the IBR-DTN software. © 2013 ICST institute for computer Science, Social Informatics and Telecommunications Engineering.

关键词： Delay tolerant networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：