Language-Based Technology

  1. 2006
  2. Published

    A Framework for Security Analysis of Mobile Wireless Networks. / Nanz, Sebastian; Hankin, Chris.

    In: Theoretical Computer Science, Vol. 367, No. 1-2, 2006, p. 203-227.

    Publication: Research - peer-reviewJournal article – Annual report year: 2006

  3. Published

    Analysis of LYSA-calculus with explicit confidentiality annotations. / Gao, Han; Nielson, Hanne Riis.

    Proceeding of 20th International Conference on Advanced Information Networking and Applications. Vol. 2 IEEE, 2006. p. 39-43.

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

  4. Published

    Formal Security Analysis for Ad-Hoc Networks. / Nanz, Sebastian; Hankin, Chris.

    Proceedings of the 2004 Workshop on Views on Designing Complex Architectures (VODCA'04). Elsevier, 2006. (Electronic Notes in Theoretical Computer Science; No. 142).

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

  5. Published

    Issues in holistic system design. / Lawall, Julia L.; Probst, Christian W.; Schultz, Ulrik Pagh.

    Proceedings of the 3rd workshop on programming languages and operating systems. 2006.

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

  6. Published

    Non-Interference and Erasure Policies for Java Card Bytecode.. / Hansen, René Rydhof; Probst, Christian W.

    6th International Workshop on Issues in the Theory of Security (WITS '06). 2006.

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

  7. Published

    Program Partitioning using Dynamic Trust Models. / Søndergaard, Dan; Probst, Christian W.; Jensen, Christian D.; Hansen, René Rydhof.

    Workshop on Formal Aspects in Security and Trust (FAST 2006). 2006.

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

  8. Published

    Sandboxing for myKlaim. / Hansen, René Rydhof; Probst, Christian W.; Nielson, Flemming.

    The First International Conference on Availability, Reliability and Security (ARES 2006). 2006.

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

  9. Published

    Static analysis for blinding. / Nielsen, Christoffer Rosenkilde; Nielson, Hanne Riis.

    In: Nordic Journal of Computing, Vol. 13, No. 1, 2006, p. 98 - 116.

    Publication: Research - peer-reviewJournal article – Annual report year: 2006

  10. Published

    Where can an Insider attack?. / Probst, Christian W.; Hansen, René Rydhof; Nielson, Flemming.

    Workshop on Formal Aspects in Security and Trust (FAST 2006). Springer, 2006.

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

  11. Published

    Working Groups’ Report: The Challenge of Combining Simulation and Verification. / Batt, Gregory; Bradley, Jeremy; Ewald, Roland; Fages, Francois; Nielson, Flemming.

    Simulation and Verification of Dynamic Systems. 2006. (Dagstuhl Seminar Proceedings 06161).

    Publication: ResearchArticle in proceedings – Annual report year: 2006

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