Timed models of security protocols including delays in the network

Timed models of security protocols including delays in the network

Bibliographic Details
Main Authors:	Sabina Szymoniak, Mirosław Kurkowski, Jacek Piątkowski
Format:	Article
Language:	English
Published:	The Publishing Office of Czestochowa University of Technology 2015-09-01
Series:	Journal of Applied Mathematics and Computational Mechanics
Online Access:	http://amcm.pcz.pl/get.php?article=2015_3/art_14.pdf

Similar Items

SAT and SMT-Based Verification of Security Protocols Including Time Aspects
by: Sabina Szymoniak, et al.
Published: (2021-04-01)

Security protocols analysis including various time parameters
by: Sabina Szymoniak
Published: (2021-04-01)

Using probabilistic automata for security protocols verification
by: Olga Siedlecka-Lamch, et al.
Published: (2016-06-01)

Multifactor Authentication Protocol in a Mobile Environment
by: Bartlomiejczyk Maciej, et al.
Published: (2019-01-01)

Attacking and securing Network Time Protocol
by: Malhotra, Aanchal
Published: (2020)

The Study of Taiwan Security Market by Time Delay Neural Network
by: LIAO CHENG CHIEN, et al.
Published: (2010)

Delay-Tolerant, Low-Power Protocols for Large Security-Critical Wireless Sensor Networks
by: Claudio S. Malavenda, et al.
Published: (2012-01-01)

Vibration absorption with a nonlinear absorder including time delay
by: Bellizzi S., et al.
Published: (2014-01-01)

Analysis of Wi-Fi Security Protocols and Authentication Delay

On Delay and Security in Network Coding
by: Dikaliotis, Theodoros K.
Published: (2013)

Security in Delay Tolerant Networks
by: Zhu, Haojin
Published: (2009)

Security in Delay Tolerant Networks
by: Zhu, Haojin
Published: (2009)

A Secured Time Synchronization Protocol for Wireless Sensor Network
by: Kai-jie You, et al.
Published: (2010)

Acute kidney injury after cardiac surgical operations specially including coronary artery bypass graft operations
by: Adam Lipski, et al.
Published: (2015-03-01)

SECURITY PROTOCOLS IN NETWORKS OF COMPUTERS
by: EVALDO GONCALVES PELAES
Published: (1982)

Protocols and models for the security of wireless ad-hoc networks
by: Jamet, Raphaël
Published: (2014)

On the General Consensus Protocol in Multiagent Networks with Double-Integrator Dynamics and Coupling Time Delay
by: Tao Dong, et al.
Published: (2013-01-01)

An efficient delay aware routing protocol for real time systems in wireless sensor network
by: Ullah, Ghufran, et al.
Published: (2014)

Time-Delayed Models of Gene Regulatory Networks
by: K. Parmar, et al.
Published: (2015-01-01)

Time-delayed models of genetic regulatory networks
by: Parmar, Kiresh
Published: (2017)

A Routing Protocol for Delay-tolerant Networks
by: Zhang Fuquan, et al.
Published: (2015-01-01)

Delay-tolerant network protocol testing and evaluation
by: Li, Yong, et al.
Published: (2015)

Security in satellite and delay/disruption tolerant networks
by: Bhutta, Muhammad Nasir Mumtaz
Published: (2012)

Energy Efficient Protocols for Delay Tolerant Networks
by: Choi, Bong Jun
Published: (2011)

Energy Efficient Protocols for Delay Tolerant Networks
by: Choi, Bong Jun
Published: (2011)

An approach to exponentiation with interval-valued power
by: Anna Tikhonenko-Kędziak, et al.
Published: (2016-12-01)

Easily-implemented compensation design of model reference time-delay networks with multiple time delays
by: Chong-wei Lu, et al.
Published: (2009)

Marine Network Protocols and Security Risks
by: Ky Tran, et al.
Published: (2021-04-01)

Formal Analysis of Network Protocol Security
by: Hsu, Yating
Published: (2011)

Security monitoring for network protocols and applications
by: La, Vinh Hoa
Published: (2016)

The Study of Security Protocols in LTE Networks
by: ZENG,JHIH-CIANG, et al.
Published: (2017)

Automatic verification of network security protocol
by: 劉宸瑋
Published: (2006)

[en] SECURITY PROTOCOLS IN NETWORKS OF COMPUTERS
by: EVALDO GONCALVES PELAES
Published: (2008)

A Study of Time-Constrained Publish-Subscribe Protocol for Data Dissemination in Delay-Tolerant Networks
by: Po-hsun Chien, et al.
Published: (2010)

Routing Protocols in Delay Tolerant Networks based on Time-Varying Connectivity Graph and Social Information
by: Chang, Je-Wei, et al.
Published: (2016)

Locomotive Assignment Optimization Including Train Delays
by: Sandra Kasalica, et al.
Published: (2013-10-01)

A LOCATION-INVENTORY MODEL INCLUDING DELIVERY DELAY COST AND CAPACITY CONSTRAINTS IN A STOCHASTIC DISTRIBUTION NETWORK
by: A. Ahmadi Javid, et al.
Published: (2012-01-01)

Secure and Anonymous Communications Over Delay Tolerant Networks
by: Spiridon Bakiras, et al.
Published: (2020-01-01)

Study on Routing Protocols for Delay Tolerant Mobile Networks
by: Haigang Gong, et al.
Published: (2013-01-01)

Vehicular Delay Tolerant and Sensor Networks: Protocols and Applications
by: Dongkyun Kim, et al.
Published: (2015-06-01)

Cannot write session to /tmp/vufind_sessions/sess_9mn97rlvad29ppeo61n58nat37