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

Categories

Computer Networks

Information Systems

Date

January 1, 1999

Authors

Publisher

Springer US

Related search

Formal Verification of a Group Membership Protocol Using Model Checking

English

Model Checking Software Systems: A Case Study.

English

Protocol Independent Lightweight Secure Communication

English

A Protocol for Secure Communication in Large Distributed Systems

English

Secure Spread: An Integrated Architecture for Secure Group Communication

IEEE Transactions on Dependable and Secure Computing

Electronic Engineering

Computer Science

English

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

Journal of Software Engineering and Applications

English

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

Journal of Computer Science

Computer Networks

Artificial Intelligence

English

A Case for Heterogeneous Procedures on Model Checking

International Journal of Innovative Technology and Exploring Engineering

Mechanics of Materials

Electronic Engineering

Structural Engineering

Computer Science

English

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

International Journal of Latest Trends in Engineering and Technology

English