Search Results - C.2.8.a algorithm/protocol design and analysis D.4.6 security and privacy protection

A Novel Security Protocol Attack Detection Logic with Unique Fault Discovery Capability for Freshness Attacks and Interleaving Session Attacks

Authors: Anca Jurcut Tom Coffey Reiner Dojen et al.

Contributors: Anca Jurcut Tom Coffey Reiner Dojen et al.

Source: IEEE Transactions on Dependable and Secure Computing. 16:969-983

Subject Terms: C.2.8.a algorithm/protocol design and analysis D.4.6 security and privacy protection, D.4.6.gverification, C.2.2.c protocol verification, D.4.6.b authentication, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, C.2.2 network protocols

File Description: application/pdf

Access URL: https://ulir.ul.ie/bitstream/10344/7541/2/Dojen_2017_Novel.pdf
https://dblp.uni-trier.de/db/journals/tdsc/tdsc16.html#JurcutCD19
https://ieeexplore.ieee.org/document/7974793/
https://ulir.ul.ie/handle/10344/7541
https://doi.org/10.1109/TDSC.2017.2725831

A novel security protocol attack detection logic with unique fault discovery capability for freshness attacks and interleaving session attacks

Authors: Anca Jurcut Tom Coffey REINER DOJEN

Subject Terms: C.2.2 network protocols, C.2.2.c protocol verification, C.2.8.a algorithm/protocol design and analysis D.4.6 security and privacy protection, D.4.6.b authentication, D.4.6.gverification

Relation: 10344/7541; https://figshare.com/articles/journal_contribution/A_novel_security_protocol_attack_detection_logic_with_unique_fault_discovery_capability_for_freshness_attacks_and_interleaving_session_attacks/19812571

Availability: https://figshare.com/articles/journal_contribution/A_novel_security_protocol_attack_detection_logic_with_unique_fault_discovery_capability_for_freshness_attacks_and_interleaving_session_attacks/19812571

A novel security protocol attack detection logic with unique fault discovery capability for freshness attacks and interleaving session attacks

Subject Terms: C.2.8.a algorithm/protocol design and analysis D.4.6 security and privacy protection, D.4.6.gverification, C.2.2.c protocol verification, D.4.6.b authentication, C.2.2 network protocols

Access URL: https://hdl.handle.net/10344/7541
https://figshare.com/articles/A_novel_security_protocol_attack_detection_logic_with_unique_fault_discovery_capability_for_freshness_attacks_and_interleaving_session_attacks/19812571/1