Language-Based Technology

  1. 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.

    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-reviewArticle in proceedings – Annual report year: 2012

  2. Published

    Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks. / Di Mauro, Alessio; Papini, Davide; Vigo, Roberto; Dragoni, Nicola.

    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-reviewArticle in proceedings – Annual report year: 2012

  3. 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: ResearchPh.D. thesis – Annual report year: 2012

  4. Published

    Layered Fixed Point Logic. / Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 14th symposium on Principles and practice of declarative programming. Association for Computing Machinery, 2012. p. 45-54.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  5. 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: ResearchPh.D. thesis – Annual report year: 2012

  6. 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: ResearchReport – Annual report year: 2012

  7. Published

    Position paper: A generic approach for security policies composition. / Hernandez, Alejandro Mario; Nielson, Flemming.

    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-reviewArticle in proceedings – Annual report year: 2012

  8. Published

    Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.

    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-reviewArticle in proceedings – Annual report year: 2012

  9. 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: ResearchReport – Annual report year: 2012

  10. Published

    Deciding Security for a Fragment of ASLan. / Mödersheim, Sebastian Alexander.

    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-reviewArticle in proceedings – Annual report year: 2012

Previous 1 2 3 4 5 6 7 8 ...17 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word