• Richard Petersens Plads, 324, 182

    2800 Kgs. Lyngby

    Denmark

1982 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1982 2019

Filter
Conference abstract in proceedings
2009

Enforcing Mandatory Access Control in Distributed Systems using Aspect-Orientation

Hernandez, A. M. & Nielson, F., 2009, 21st Nordic Workshop on Programming Theory Proceedings. p. 62-64

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

168 Downloads (Pure)

Pathway analysis of IMC

Skrypnyuk, N., Nielson, F. & Pilegaard, H., 2009, 21st Nordic Workshop on Programming Theory: NWPT 2009. Lyngby, p. 7-10 106 p.

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

File

Quantitative Security Analysis of ZigBee Key Updates

Yuksel, E., Nielson, H. R. & Nielson, F., 2009, Proceedings of the 21st Nordic Workshop on Programming Theory. Hansen, M. R. & Brekling, A. W. (eds.). Technical University of Denmark, DTU Informatics, Building 321, p. 14-16

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch