Model-Checking a Secure Group Communication Protocol: A Case Study

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35578-8_27
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Formal Verification of a Group Membership Protocol Using Model Checking

English

Model Checking Software Systems: A Case Study.

1995English

Protocol Independent Lightweight Secure Communication

2006English

A Protocol for Secure Communication in Large Distributed Systems

1987English

Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

Journal of Software Engineering and Applications
2015English

Secure Spread: An Integrated Architecture for Secure Group Communication

IEEE Transactions on Dependable and Secure Computing
Electronic EngineeringElectricalComputer Science
2005English

Optimizing Batch Rekeying Interval for Secure Group Communication Based on Queuing Model

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2014English

A Case for Heterogeneous Procedures on Model Checking

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

A Case Study on Cpe (Communication Protocol Error) Alarm in Nokia DXC

International Journal of Latest Trends in Engineering and Technology
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy