Login / Signup
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.
Linas Laibinis
Elena Troubitsyna
Inna Pereverzeva
Ian Oliver
Silke Holtmanns
Published in:
ICFEM (2016)
Keyphrases
</>
telecommunication networks
security vulnerabilities
fiber optic
intrusion detection
dos attacks
security properties
penetration testing
formal model
response time
information systems
low cost
distributed systems
formal specification