A Formal Model for WebRTC Signaling Using SDL.

Asma El Hamzaoui Hicham Bensaid Abdeslam En-Nouaary

Published in: NETYS (2016)

Keyphrases

formal model
predicate calculus
security properties
formal models
probabilistic knowledge
real time
e learning
image sequences
lightweight