Login / Signup
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