Temporal Verification in Secure Group Communication System Design.

Benjamin Fontan Sara Mota Pierre de Saqui-Sannes Thierry Villemur

Published in: SECURWARE (2007)

Keyphrases

design process
spatio temporal
design decisions
neural network
temporal constraints
temporal dimension
functional verification
real time
user interface
software architecture
spatial and temporal
engineering design
security issues
formal verification
cryptographic protocols