Language-Based Technology
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- Published
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. / Armando, Alessandro; Arsac, Wihem; Avanesov, Tigran; Barletta, Michele; Calvi, Alberto; Cappai, Alessandro; Carbone, Roberto; Chevalier, Yannick; Compagna, Luca; Cuéllar, Jorge; Erzse, Gabriel; Frau, Simone; Minea, Marius; Mödersheim, Sebastian Alexander; Von Oheimb, David; Pellegrino, Giancarlo; Ponta, Serena Elisa; Rocchetto, Marco; Rusinowitch, Michael; Torabi Dashti, Mohammad; Turuani, Mathieu; Viganò, Luca.
In: Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Springer, 2012. p. 267-282 (Lecture Notes in Computer Science, Vol. 7214).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks. / Di Mauro, Alessio; Papini, Davide; Vigo, Roberto; Dragoni, Nicola.
In: Networked Digital Technologies: 4th International Conference, NDT 2012 Dubai, UAE, April 24-26, 2012 Proceedings, Part II. Springer, 2012. p. 289-301 (Communications in Computer and Information Science, Vol. 294).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
A Succinct Approach to Static Analysis and Model Checking. / Filipiuk, Piotr; Nielson, Hanne Riis (Main supervisor); Nielson, Flemming (Supervisor).
Kgs. Lyngby : Technical University of Denmark, 2012. 187 p. (IMM-PHD-2012; No. 278).Publication: Research › Ph.d. thesis – Annual report year: 2012
- Published
Layered Fixed Point Logic. / Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis.
In: Proceedings of the 14th symposium on Principles and practice of declarative programming. Association for Computing Machinery, 2012. p. 45-54.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Distributed security in closed distributed systems. / Hernandez, Alejandro Mario; Nielson, Flemming (Main supervisor); Nielson, Hanne Riis (Supervisor).
Kgs. Lyngby : Technical University of Denmark (DTU), 2012. 198 p. (IMM-PHD-2012; No. 274).Publication: Research › Ph.d. thesis – Annual report year: 2012
- Published
Globally reasoning about localised security policies in distributed systems. / Hernandez, Alejandro Mario.
Kgs. Lyngby : Technical University of Denmark, 2012. 45 p. (IMM-Technical Report-2012; No. 11).Publication: Research › Report – Annual report year: 2012
- Published
Position paper: A generic approach for security policies composition. / Hernandez, Alejandro Mario; Nielson, Flemming.
In: PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security . Association for Computing Machinery, 2012. p. Article No. 5.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.
In: NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer, 2012. p. 326-340 (Lecture Notes in Computer Science, Vol. 7226).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Deciding Security for a Fragment of ASLan. / Mödersheim, Sebastian Alexander.
Technical University of Denmark, 2012. 24 p. (IMM-Technical Report-2012; No. 06).Publication: Research › Report – Annual report year: 2012
- Published
Deciding Security for a Fragment of ASLan. / Mödersheim, Sebastian Alexander.
In: Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, 2012. p. 127-144 (Lecture Notes in Computer Science, Vol. 7459).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012