René Rydhof Hansen

  1. 2013
  2. Published

    Reachability-based impact as a measure for insiderness. / Probst, Christian W.; Hansen, René Rydhof.

    In: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Vol. 4, No. 4, 2013, p. 38-48.

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

  3. 2009
  4. Published

    Analysing Access Control Specifications. / Probst, Christian W.; Hansen, René Rydhof.

    Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering. IEEE, 2009.

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

  5. Published

    Fluid Information Systems. / Probst, Christian W.; Hansen, René Rydhof.

    Proceedings of the New Security Paradigms Workshop. 2009. p. 125-132.

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

  6. 2008
  7. Published

    From Flow Logic to Static Type Systems in Coordination Languages. / De Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario.

    Coordination Models and Languages: 10th International Conference, COORDINATION 2008. Vol. 5052 Springer, 2008. p. 100-116 (Lecture Notes in Computer Science).

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

  8. 2007
  9. Published

    Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, René Rydhof.

    Logic, Language, Information and Computation, Proceedings. Springer, 2007. p. 83-100 (Lecture Notes in Computer Science, Vol. 4576 ).

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

  10. 2006
  11. 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

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

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

  14. Published

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

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

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

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

Previous 1 2 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