Formally Verified Authenticated Query Dissemination in Sensor Networks

被引：0

作者：

Werner, Frank ^{[1
]}

Benenson, Zinaida ^{[2
]}

机构：

[1] Univ Karlsruhe TH, Dept Comp Sci, Karlsruhe, Germany

[2] Univ Mannheim, Dept Comp Sci, Mannheim, Germany

来源：

PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS | 2009年 / 41卷 / 04期

关键词：

authentication; query; dissemination; formal quantitative analysis; probabilistic; verification; probabilistic model checking; VERIFICATION; PROTOCOLS;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We consider the problem of authenticated query dissemination in sensor networks, where each sensor node should be able to decide whether the query was injected into the network by a legitimate entity (e.g., the base station), or by an adversary that tries to gain unauthorized access to the sensor data. We present sAQF, an improved variant of the AQF protocol by Benenson et al. [2] and verify its correctness by mean of a model based on probabilistic action systems.

引用

下载

页码：154 / +

页数：2

共 50 条

[1] Authenticated query flooding in sensor networks
Benenson, Z
Pimenidis, L
Hammerschmidt, E
Freiling, FC
Lucks, S
FOURTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, 2006, : 644 - +
[2] Authenticated query flooding in sensor networks
Benenson, Zinaida
Freiling, Felix C.
Hammerschmidt, Ernest
Lucks, Stefan
Pimenidis, Lexi
SECURITY AND PRIVACY IN DYNAMIC ENVIRONMENTS, 2006, 201 : 38 - +
[3] A formally verified decentralized key management architecture for wireless sensor networks
Law, Yee Wei
Corin, Ricardo
Etalle, Sandro
Hartel, Pieter H.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2775 : 27 - 39
[4] A formally verified decentralized key management architecture for wireless sensor networks
Law, YW
Corin, R
Etalle, S
Hartel, PH
PERSONAL WIRELESS COMMUNICATIONS, PROCEEDINGS, 2003, 2775 : 27 - 39
[5] Data and query dissemination in wireless sensor networks
Kandaswamy, K
Patel, J
Ramakrishna, MV
8TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES, 2006, : U34 - U37
[6] Formally verified asymptotic consensus in robust networks
Tekriwal, Mohit
Tachna-Fram, Avi
Jeannin, Jean-Baptiste
Kapritsos, Manos
Panagou, Dimitra
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2024, 2024, 14570 : 248 - 267
[7] DIRQ: A Directed Query Dissemination Scheme for wireless sensor networks
Chatterjea, Supriyo
De Luigi, Simone
Havinga, Paul
PROCEEDINGS OF THE SIXTH IASTED INTERNATIONAL MULTI-CONFERENCE ON WIRELESS AND OPTICAL COMMUNICATIONS, 2006, : 485 - +
[8] An adaptive directed query dissemination scheme for wireless sensor networks
Chatterjea, Supriyo
De Luigi, Simone
Havinga, Paul
2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS, PROCEEDINGS, 2006, : 181 - +
[9] Query dissemination with predictable reachability and energy usage in sensor networks
Benenson, Zinaida
Bestehorn, Markus
Buchmann, Erik
Freiling, Felix C.
Jawurek, Marek
AD-HOC, MOBILE AND WIRELESS NETWORKS, PROCEEDINGS, 2008, 5198 : 279 - +
[10] Efficient Query Dissemination Scheme for Wireless Heterogeneous Sensor Networks
Kim, Sungjun
Kim, Daehee
An, Sunshin
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2018, E101A (03): : 649 - 653

← 1 2 3 4 5 →