<i>Ad hoc</i> network routing and security: A review

Zhang, Congzhe; Zhou, Meng Chu; Yu, Ming

doi:10.1002/dac.840

Cited by 33 publications

(12 citation statements)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Future work is to develop an ILWN tool based on the existing Petri net tools and analysis techniques and apply it to industrial ECWs and other event-driven systems [16,[21][22][23][24][25][26][27][28][29][30]. …”

Section: Resultsmentioning

confidence: 99%

Modeling and monitoring of E-commerce workflows

Du¹,

Jiang²,

Zhou³

et al. 2009

Information Sciences

Self Cite

View full text Add to dashboard Cite

Section: Resultsmentioning

confidence: 99%

Modeling and monitoring of E-commerce workflows

Du¹,

Jiang²,

Zhou³

et al. 2009

Information Sciences

Self Cite

View full text Add to dashboard Cite

“…Several works describe the challenges in the field of secure ad hoc networks and the requirements for adapting traditional security mechanisms to ad hoc networks [12], [13], [14]. In [13], it is stated that a combination of cryptographic mechanisms can prevent the majority of attacks in ad hoc networks.…”

Section: Related Workmentioning

confidence: 99%

On-siteDriverID: A secure authentication scheme based on Spanish eID cards for vehicular ad hoc networks

Sánchez-García

García-Campos

Reina

et al. 2016

Future Generation Computer Systems

View full text Add to dashboard Cite

Security in Vehicle Ad Hoc Networks (VANETs) has been a topic of interest since the origins of vehicular communications. Different approaches have been followed as new security threats have emerged in the last few years. The approach of conditional privacy has been widely used as it guarantees authentication among vehicles but not revealing their real identities. Although the real identity of the vehicle can be traced by the authorities, the process to do that is time consuming and typically involves several entities (for instance road authorities that request the identification, license plate records bodies, a judge to allow revealing the identity associated to a license plate…).Moreover, this process is always subsequent to the detection of a road situation that requires knowing the real vehicle identities. However, in vehicular scenarios, authorities would beneficiate from knowing the real drivers' identity in advance. We propose in this paper On-SiteDriverID, a secure protocol and its application which allows authorities' vehicles to obtain drivers' real identities rapidly and on demand on VANET scenarios. Thus, authorities would be able to gather information about drivers and vehicles, allowing them to act in a safer and better manner in situations such as traffic control duties or emergencies. The obtained simulation results in real VANET scenarios based on real maps guarantee that in the 60-70% of cases the proposed On-SiteDriverID successfully obtains the identity of the drivers.

show abstract

“…This allows further optimizations of the MI intruder behavior based on known security principles [15,20,21,22,23], as well as implementation of custom behavior that will enable model checking requirements beyond those expressed as safety guarantees (i.e. secrecy and authentication).…”

Section: The MI Intruder Model In Usementioning

confidence: 99%

An intruder model with message inspection for model checking security protocols

Basagiannis

Katsaros

Pombortsis

2010

Computers & Security

View full text Add to dashboard Cite

Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack actions against the ongoing protocol session(s). Any attempt to enumerate all messages that can be deduced by the intruder and the possible actions in all protocol steps results in an enormous branching of the model's state space. In current work, we introduce a new intruder model that can be exploited for state space reduction, optionally in combination with known techniques, such as partial order and symmetry reduction. The proposed intruder modeling approach called Message Inspection (MI) is based on enhancing the intruder's knowledge with metadata for the exchanged messages. In a preliminary simulation run, the intruder tags the analyzed messages with protocol-specific values for a set of predefined parameters. This metadata is used to identify possible attack actions, for which it is a priori known that they cannot cause a security violation. The MI algorithm selects attack actions that can be discarded, from an open-ended base of primitive attack actions. Thus, model checking focuses only on attack actions that may disclose a security violation. The most interesting consequence is a non negligible state-space pruning, but at the same time our approach also allows customizing the behavior of the intruder model, in order e.g. to make it appropriate for model checking problems that involve liveness. We provide experimental results obtained with the SPIN model checker, for the Needham Schroeder security protocol.

show abstract

Ad hoc network routing and security: A review

Cited by 33 publications

References 54 publications

Modeling and monitoring of E-commerce workflows

Modeling and monitoring of E-commerce workflows

On-siteDriverID: A secure authentication scheme based on Spanish eID cards for vehicular ad hoc networks

An intruder model with message inspection for model checking security protocols

Contact Info

Product

Resources

About