Language-Based Technology
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2012
- Published
Modelling Chinese Smart Grid : A Stochastic Model Checking Case Study. / Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing.
Kgs. Lyngby, Denmark : DTU Informatics, 2012. 58 p. (IMM-Technical Report-2012; No. 02).Publication: Research › Report – Annual report year: 2012
- Published
Opdagelse og forhindring af insider-trusler. / Probst, Christian W.
In: It-sikkerhed. Børsen, 2012. (Børsen Ledelseshåndbøger).Publication: Research › Book chapter – 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
Privacy Penetration Testing: How to Establish Trust in Your Cloud Provider. / Probst, Christian W.; Sasse, M. Angela ; Pieters, Wolter; Dimkov, Trajce; Luysterborg, Erik; Arnaud, Michel.
In: European Data Protection: In Good Health?. Springer, 2012. p. 251-265.Publication: Research - peer-review › Book chapter – Annual report year: 2012
- Published
Recursive Advice for Coordination. / Terepeta, Michal Tomasz; Nielson, Hanne Riis; Nielson, Flemming.
In: Coordination Models and Languages: 14th International Conference, COORDINATION 2012 Stockholm, Sweden, June 14-15, 2012 Proceedings. ed. / Marjan Sirjani. 2012. p. 137-151 (Lecture Notes in Computer Science; No. 7274).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Static Analysis of IMC. / Skrypnyuk, Nataliya; Nielson, Flemming; Pilegaard, Henrik.
In: Journal of Logic and Algebraic Programming, Vol. 81, No. 4, 2012, p. 522-540.Publication: Research - peer-review › Journal article – Annual report year: 2012
- 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
The Cyber-Physical Attacker. / Vigo, Roberto.
In: Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE Magdeburg, Germany, September 25-28, 2012 Proceedings. Springer, 2012. p. 347-356 (Lecture Notes in Computer Science, Vol. 7613).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
The Logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.
In: Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer, 2012. p. 205-222 (Lecture Notes in Computer Science, Vol. 7253).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Theory of Security and Applications : Joint Workshop, TOSCA 2011 Saarbrücken, Germany, March 31 - April 1, 2011 Revised Selected Papers. / Mödersheim, Sebastian Alexander (Editor); Palamidessi, Catuscia (Editor).
Springer, 2012. (Lecture Notes in Computer Science, Vol. 6993).Publication: Research - peer-review › Book – Annual report year: 2012