A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks
Publiceringsår
2016
Upphovspersoner
Inna Vistbakka; Elena Troubitsyna; Linas Laibinis; Ian Oliver; Silke Holtmanns
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Moderpublikationens namn
Konferens
International Conference on Formal Engineering Methods (ICFEM)
Sidor
141–158
ISBN
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Förlagets internationalitet
Inhemsk
Internationell sampublikation
Nej
Sampublikation med ett företag
Ja
DOI
10.1007/978-3-319-47846-3_10
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja