A formalism for visual security protocol modeling

Journal of Visual Languages & Computing ◽

10.1016/j.jvlc.2006.10.006 ◽

2008 ◽

Vol 19 (2) ◽

pp. 153-181 ◽

Author(s):

J. McDermott ◽

G. Allwein

Keyword(s):

Security Protocol ◽

Visual Security

Download Full-text

Visual security protocol modeling

Proceedings of the 2005 workshop on New security paradigms - NSPW '05 ◽

10.1145/1146269.1146293 ◽

2005 ◽

Author(s):

J. McDermott

Keyword(s):

Security Protocol ◽

Visual Security

Download Full-text

Visual Security Protocol Modeling

10.21236/ada464079 ◽

2005 ◽

Author(s):

J. McDermott

Keyword(s):

Security Protocol ◽

Visual Security

Download Full-text

An Enhanced Security Protocol for VANET-Based Entertainment Services

IEICE Transactions on Communications ◽

10.1587/transcom.e95.b.2245 ◽

2012 ◽

Vol E95.B (7) ◽

pp. 2245-2256 ◽

Author(s):

Jung-Yoon KIM ◽

Hyoung-Kee CHOI

Keyword(s):

Security Protocol

Download Full-text

Information technology. Open systems interconnection. Network layer security protocol

10.3403/00586525u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Interconnection Network ◽

Security Protocol ◽

Network Layer ◽

Open Systems Interconnection

Download Full-text

Information technology. Open systems interconnection. Network layer security protocol

10.3403/00586525 ◽

1995 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Interconnection Network ◽

Security Protocol ◽

Network Layer ◽

Open Systems Interconnection

Download Full-text

Space data and information transfer systems. Space data link security protocol

10.3403/30336073u ◽

2016 ◽

Keyword(s):

Information Transfer ◽

Security Protocol ◽

Data Link ◽

Download Full-text

Space data and information transfer systems. Space data link security protocol

10.3403/30336073 ◽

2016 ◽

Keyword(s):

Information Transfer ◽

Security Protocol ◽

Data Link ◽

Download Full-text

A Dynamic Approach on Quickly Predicting Non-Termination of Logic Program of Security Protocol

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2011.01275 ◽

2011 ◽

Vol 34 (7) ◽

pp. 1275-1283

Author(s):

Ti ZHOU ◽

Meng-Jun LI ◽

Zhou-Jun LI

Keyword(s):

Logic Program ◽

Security Protocol ◽

Dynamic Approach

Download Full-text

Design and Implementation of Double-Key based Light Weight Security Protocol in Ubiquitous Sensor Network

The KIPS Transactions PartC ◽

10.3745/kipstc.2007.14-c.3.239 ◽

2007 ◽

Vol 14C (3) ◽

pp. 239-254

Author(s):

Yon-Il Zhung ◽

Sung-Young Lee

Keyword(s):

Sensor Network ◽

Security Protocol ◽

Light Weight ◽

Design And Implementation

Download Full-text

Performance and Analysis of Advanced and Enhanced Security Protocol for Vehicular Ad Hoc Networks (VANETs)

Wireless Personal Communications ◽

10.1007/s11277-021-08868-4 ◽

2021 ◽

Author(s):

A. Ganesh ◽

S. Ayyasamy ◽

N. M. Saravana Kumar

Keyword(s):

Ad Hoc Networks ◽

Vehicular Ad Hoc Networks ◽

Ad Hoc ◽

Security Protocol ◽

Download Full-text