Antigone: policy-based secure group communication system and AMirD: Antigone-based secure file mirroring system

Irrer, J; Prakash, Atul; McDaniel, Patrick

doi:10.1109/discex.2003.1194910

Search citation statements

Order By: Relevance

Paper Sections

Select...

B Temporal Requirements and Verification Of Sgc Systems1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For instance, the Antigone system [27] uses policies to address membership capabilities (e.g. control access) and security requirements (e.g.…”

Section: B Temporal Requirements and Verification Of Sgc Systemsmentioning

confidence: 99%

Formal verification of secure group communication protocols modelled in UML

Saqui-Sannes

Villemur

Fontan

et al. 2010

Innovations Syst Softw Eng

View full text Add to dashboard Cite

OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. Abstract: The paper discusses an experience in using UML and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design.AVISPA enabled detecting and fixing security flaws. The TURTLE toolkit enabled saving development time by eliminating design solutions with inappropriate temporal parameters.

show abstract

“…For instance, the Antigone system [27] uses policies to address membership capabilities (e.g. control access) and security requirements (e.g.…”

Section: B Temporal Requirements and Verification Of Sgc Systemsmentioning

confidence: 99%