Language-Based Technology

  1. 2012
  2. 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 : Technical University of Denmark, DTU Informatics, Building 321, 2012. 58 p. (IMM-Technical Report-2012; No. 02).

    Publication: ResearchReport – Annual report year: 2012

  3. Published

    Opdagelse og forhindring af insider-trusler. / Probst, Christian W.

    It-sikkerhed. Børsen, 2012. (Børsen Ledelseshåndbøger).

    Publication: ResearchBook chapter – Annual report year: 2012

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

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

    European Data Protection: In Good Health?. Springer, 2012. p. 251-265.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2012

  6. Published

    Recursive Advice for Coordination. / Terepeta, Michal Tomasz; Nielson, Hanne Riis; Nielson, Flemming.

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

  7. 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-reviewJournal article – Annual report year: 2012

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

  9. Published

    The Cyber-Physical Attacker. / Vigo, Roberto.

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

  10. Published

    The Logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

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

  11. 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-reviewBook – 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