TY - JOUR U1 - Zeitschriftenartikel, nicht wissenschaftlich A1 - Recktenwald, Benedikt A1 - Schröpfer, David T1 - Formale Beschreibung von Sicherheitslücken JF - informatikJournal KW - IT-Sicherheit KW - Formale Sprachen KW - SCOLL KW - IDS Y1 - 2013 UR - https://www.hs-furtwangen.de/fileadmin/user_upload/fak_IN/Dokumente/Forschung_InformatikJournal/informatikJournal_2013.pdf SN - 978-3-00-044321-3 SB - 978-3-00-044321-3 VL - 2013/14 SP - 101 EP - 111 ER -