Flemming Nielson

Flemming Nielson

Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 182

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Courses
CV
Loading

Publications rss feed

2019
 

Lightweight information flow

Nielson, Flemming ; Nielson, Hanne Riis
part of: Models, Languages, and Tools for Concurrent and Distributed Programming, pages: 455-470, 2019, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-21485-2_25

 

Formal Methods

Nielson, Flemming ; Nielson, Hanne Riis

Type: Book

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-05156-3

2018
 

Process-Local Static Analysis of Synchronous Processes

Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Static Analysis, pages: 284-305, 2018, Springer
Presented at:
25th Static Analysis Symposium

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/978-3-319-99725-4_18

  PDF

Secure information release in timed automata

Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis
part of: POST 2018: Principles of Security and Trust, pages: 28-52, 2018, Springer
Presented at:
7th International Conference on Principles of Security and Trust

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/978-3-319-89722-6_2

2017
 

Content dependent information flow control

Nielson, Hanne Riis ; Nielson, Flemming
in: Journal of Logical and Algebraic Methods in Programming, vol: 87, pages: 6-32

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1016/j.jlamp.2016.09.005

  PDF

A coordination language for databases

Li, Ximeng ; Wu, Xi ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
in: Logical Methods in Computer Science, vol: 13, issue: 1

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017

 

Atomistic Galois insertions for flow sensitive integrity

Nielson, Flemming ; Nielson, Hanne Riis
in: Computer Languages, Systems and Structures, vol: 50, pages: 82-107

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1016/j.cl.2017.06.004

  PDF

Effect-driven QuickChecking of compilers

Midtgaard, Jan ; Justesen, Mathias Nygaard ; Kasting, Patrick Frederik Soelmark ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the Acm on Programming Languages , pages: 1-23, 2017, Association for Computing Machinery

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1145/3110259

 

Information Flow for Timed Automata

Nielson, Flemming ; Nielson, Hanne Riis ; Vasilikos, Panagiotis
part of: Models, Algorithms, Logics and Tools, pages: 3-21, 2017, Springer
Presented at:
KiMfest

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1007/978-3-319-63121-9_1

 

Model checking exact cost for attack scenarios

Aslanyan, Zaruhi ; Nielson, Flemming
part of: Principles of Security and Trust, pages: 210-31, 2017, Springer
Presented at:
Principles of Security and Trust. 6th International Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1007/978-3-662-54455-6_10

  PDF

Time dependent policy-based access control

Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis
in: Leibniz International Proceedings in Informatics, vol: 90
Presented at:
24th International Symposium on Temporal Representation and Reasoning

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.4230/LIPIcs.TIME.2017.21

2016
  PDF

A Parametric Abstract Domain for Lattice-Valued Regular Expressions

Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 23rd International Symposium on Static Analysis (SAS 2016), pages: 338-360, 2016, Springer
Presented at:
23rd International Symposium on Static Analysis

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016

 

Disjunctive Information Flow for Communicating Processes

Li, Ximeng ; Nielson, Flemming ; Nielson, Hanne Riis ; Feng, Xinyu
part of: Revised Selected Papers of the 10th International Symposium on Trustworthy Global Computing (TGC 2015), pages: 95-111, 2016, Springer
Presented at:
10th International Symposium on Trustworthy Global Computing (TGC 2015)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1007/978-3-319-28766-9_7

  PDF

Enforcing Availability in Failure-Aware Communicating Systems

López-Acosta, Hugo-Andrés ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016), pages: 195-211, 2016, Springer
Presented at:
36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1007/978-3-319-39570-8_13

 

Future-dependent Flow Policies with Prophetic Variables

Li, Ximeng ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, pages: 29-42, 2017, Association for Computing Machinery
Presented at:
2016 ACM Workshop on Programming Languages and Analysis for Security

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1145/2993600.2993603

 

Iterated Process Analysis over Lattice-Valued Regular Expressions

Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16), pages: 132-145, 2016, Association for Computing Machinery
Presented at:
18th International Symposium on Principles and Practice of Declarative Programming

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1145/2967973.2968601

  PDF

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP

Wang, Shuling ; Nielson, Flemming ; Nielson, Hanne Riis ; Zhan, Naijun
in: Computer Journal, vol: 60, issue: 8, pages: 1111-1130

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1093/comjnl/bxw084

  PDF

Quantitative Verification and Synthesis of Attack-Defence Scenarios

Aslanyan, Zaruhi ; Nielson, Flemming ; Parker, David
part of: Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF 2016), pages: 105-119, 2016, IEEE
Presented at:
29th IEEE Computer Security Foundations Symposium (CSF 2016)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1109/CSF.2016.15

 

Towards Static Analysis of Policy-Based Self-adaptive Computing Systems

Margheri, Andrea ; Nielson, Hanne Riis ; Nielson, Flemming ; Pugliese, Rosario
part of: Leveraging Applications of Formal Methods, Verification and Validation. Foundational Techniques, pages: 554-569, 2017, Springer
Presented at:
7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1007/978-3-319-47166-2_39

2015
 

A calculus of quality for robustness against unreliable communication

Nielson, Hanne Riis ; Nielson, Flemming ; Vigo, Roberto
in: The Journal of Logic and Algebraic Programming, vol: 84, issue: 5, pages: 611-639

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1016/j.jlamp.2015.04.002

  PDF

Discretionary Information Flow Control for Interaction-Oriented Specifications

Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Logic, Rewriting, and Concurrency, pages: 427-450, 2015, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-23165-5_20

 

Factorization of Behavioral Integrity

Li, Ximeng ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of th 20th European Symposium on Research in Computer Security - ESORICS 2015, pages: 500-519, 2015, Springer
Presented at:
20th European Symposium on Research in Computer Security (ESORICS 2015)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-24177-7_25

 

Hoare Logic for Disjunctive Information Flow

Nielson, Hanne Riis ; Nielson, Flemming ; Li, Ximeng
part of: Programming Languages with Applications to Biology and Security, pages: 47-65, 2015, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-25527-9_6

 

How to Trust the Re-use of Data

Karafili, Erisa ; Nielson, Hanne Riis ; Nielson, Flemming
part of: Proceedings of the 11th International Workshop on Security and Trust Management (STM 2015), pages: 72-88, 2015, Springer
Presented at:
11th International Workshop on Security and Trust Management (STM 2015)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-24858-5_5

  PDF

Klaim-DB: A Modeling Language for Distributed Database Applications

Wu, Xi ; Li, Ximeng ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Coordination Models and Languages, pages: 197-212, 2015, Springer
Presented at:
17th IFIP WG 6.1 International Conference, COORDINATION 2015

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-19282-6_13

  PDF

Modelling and Analysing Socio-Technical Systems

Aslanyan, Zaruhi ; Ivanova, Marieta Georgieva ; Nielson, Flemming ; Probst, Christian W.
part of: Proceedings of the 1st International Workshop on Socio-Technical Perspective in IS Development (STPIS'15), pages: 121-124, 2015
Presented at:
1st International Workshop on Socio-Technical Perspective in IS Development (STPIS'15)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015

 

Pareto Efficient Solutions of Attack-Defence Trees

Aslanyan, Zaruhi ; Nielson, Flemming
part of: Principles of Security and Trust, pages: 95-114, 2015, Springer
Presented at:
4th International Conference on Principles of Security and Trust

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-662-46666-7_6

  PDF

Set-Pi: Set Membership pi-Calculus

Bruni, Alessandro ; Mödersheim, Sebastian Alexander ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF 2015), pages: 185-198, 2015, IEEE
Presented at:
28th IEEE Computer Security Foundations Symposium (CSF 2015)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1109/CSF.2015.20

 

Stochastic Model Checking of the Stochastic Quality Calculus

Nielson, Flemming ; Nielson, Hanne Riis ; Zeng, Kebin
part of: Software, Services, and Systems, pages: 522-537, 2015, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-15545-6_30

2014
 

Automated Generation of Attack Trees

Vigo, Roberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the IEEE 27th Computer Security Foundations Symposium, CSF 2014 , pages: 337-350, 2014, IEEE
Presented at:
27th Computer Security Foundations Symposium (CSF 2014)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1109/CSF.2014.31

 

Availability by Design

Vigo, Roberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014, pages: 277-278, 2014, Springer
Presented at:
19th Nordic Conference on Secure IT Systems (NordSec 2014)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014

 

Denial-of-Service Security Attack in the Continuous-Time World

Wang, Shuling ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Formal Techniques for Distributed Objects, Components, and Systems. Proceedings, pages: 149-165, 2014, Springer
Presented at:
34th IFIP WG 6.1 International Conference, FORTE 2014

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/978-3-662-43613-4_10

 

Formal Security Analysis of the MaCAN Protocol.

Bruni, Alessandro ; Sojka, Michal ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, pages: 241-255, 2014, Springer
Presented at:
11th International Conference on Integrated Formal Methods, IFM 2014

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/978-3-319-10181-1_15

 

ICT-powered Health Care Processes

Carbone, Marco ; Christensen, Anders Skovbo ; Nielson, Flemming ; Nielson, Hanne Riis ; Hildebrandt, Thomas ; Sølvkjær, Martin
part of: Foundations of Health Information Engineering and Systems, pages: 59-68, 2014, Springer
Presented at:
3rd International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2013)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/978-3-642-53956-5_5

 

Pareto Efficient Solutions of Attack Trees

Aslanyan, Zaruhi ; Nielson, Flemming
part of: Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014, pages: 279-280, 2014, Springer
Presented at:
19th Nordic Conference on Secure IT Systems (NordSec 2014)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/978-3-319-11599-3

 

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Zhu, Huibiao ; Huang, Heqing
in: International Journal on Software Tools for Technology Transfer, vol: 16, issue: 4, pages: 421-435

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/s10009-014-0311-8

  PDF

The Guided System Development Framework: Modeling and Verifying Communication Systems

Carvalho Quaresma, Jose Nuno ; Probst, Christian W. ; Nielson, Flemming
part of: Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications, pages: 509-523, 2014, Springer
Presented at:
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2014

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/978-3-662-45231-8_42

 

The logic of XACML

Ramli, Carroline Dewi Puspa Kencana ; Nielson, Hanne Riis ; Nielson, Flemming
in: Science of Computer Programming, vol: 83, pages: 80-105

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1016/j.scico.2013.05.003

 

The stochastic quality calculus

Zeng, Kebin ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Coordination Models and Languages. Proceedings, pages: 179-193, 2014, Springer
Presented at:
16th IFIP WG 6.1 International Conference, COORDINATION 2014

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/978-3-662-43376-8_12

 

Uniform Protection for Multi-exposed Targets

Vigo, Roberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Formal Techniques for Distributed Objects, Components, and Systems. Proceedings, pages: 182-198, 2014, Springer
Presented at:
34th IFIP WG 6.1 International Conference, FORTE 2014

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/978-3-662-43613-4_12

 

Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus

Bruni, Alessandro ; Mödersheim, Sebastian Alexander ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014, pages: 281-282, 2014, Springer
Presented at:
19th Nordic Conference on Secure IT Systems (NordSec 2014)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/978-3-319-11599-3

2013
 

A calculus for quality

Nielson, Hanne Riis ; Nielson, Flemming ; Vigo, Roberto
part of: Formal Aspects of Component Software, pages: 188-204 , 2013, Springer
Presented at:
9th International Symposium on Formal Aspects of Component Software (FACS 2012)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1007/978-3-642-35861-6_12

  PDF

Bisimulations meet PCTL equivalences for probabilistic automata

Song, Lei ; Zhang, Lijun ; Godskesen, Jens Chr. ; Nielson, Flemming
in: Logical Methods in Computer Science, vol: 9, issue: 2

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.2168/LMCS-9(2:7)2013

 

Broadcast, Denial-of-Service, and Secure Communication

Vigo, Roberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Integrated Formal Methods, pages: 412-427, 2013, Springer
Presented at:
10th International Conference on integrated Formal Methods (iFM 2013)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1007/978-3-642-38613-8_28

  PDF

Design-Efficiency in Security

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

Type: Report

Status: Published     |    Year: 2013

 

Lazy Mobile Intruders

Mödersheim, Sebastian Alexander ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Principles of Security and Trust, pages: 147-166, 2013, Springer
Presented at:
2nd Conference on Principles of Security and Trust (POST 2013)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1007/978-3-642-36830-1_8

 

Predictive access control for distributed computation

Yang, Fan ; Hankin, Chris ; Nielson, Flemming ; Nielson, Hanne Riis
in: Science of Computer Programming, vol: 78, issue: 9, pages: 1264-1277

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1016/j.scico.2012.05.008

 

Probabilistic Analysis of the Quality Calculus

Nielson, Hanne Riis ; Nielson, Flemming
part of: Formal Techniques for Distributed Systems, pages: 258-272, 2013, Springer
Presented at:
2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1007/978-3-642-38592-6_18

 

Reachability for Finite-state Process Algebras Using Horn Clauses

Skrypnyuk, Nataliya ; Nielson, Flemming
in: International Journal of Foundations of Computer Science, vol: 24, issue: 2, pages: 283-302

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1142/S0129054113400121

 

Safety versus Security in the Quality Calculus

Nielson, Hanne Riis ; Nielson, Flemming
part of: Theories of Programming and Formal Methods, pages: 285-303, 2013, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1007/978-3-642-39698-4_18

 

XACML 3.0 in Answer Set Programming

Ramli, Carroline Dewi Puspa Kencana ; Nielson, Hanne Riis ; Nielson, Flemming
part of: Logic-Based Program Synthesis and Transformation, pages: 89-105, 2013, Springer
Presented at:
22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1007/978-3-642-38197-3_7

2012
 

Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm

Jansen, David N. ; Nielson, Flemming ; Zhang, Lijun
part of: NASA Formal Methods, pages: 326-340, 2012, Springer
Presented at:
4th NASA Formal Methods Symposium (NFM 2012)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1007/978-3-642-28891-3_31

  PDF

Efficient CSL Model Checking Using Stratification

Zhang, Lijun ; Jansen, David N. ; Nielson, Flemming ; Hermanns, Holger
in: Logical Methods in Computer Science, vol: 8, issue: 2, pages: Paper 17

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.2168/LMCS-8(2:17)2012

  PDF

Fixpoints vs Moore Families

Zhang, Fuyuan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of SOFSEM 2011, 2012
Presented at:
38th International Conference on Current Trends in Theory and Practice of Computer Science : Student Research Forum

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012

  PDF

Fixpoints vs Moore Families

Zhang, Fuyuan ; Nielson, Flemming ; Nielson, Hanne Riis
Presented at:
38th International Conference on Current Trends in Theory and Practice of Computer Science : Student Research Forum

Type: Poster (Peer reviewed)

Status: Published     |    Year: 2012

 

Flow Logic for Process Calculi

Nielson, Hanne Riis ; Nielson, Flemming ; Pilegaard, Henrik
in: A C M Computing Surveys, vol: 44, issue: 1, pages: Article No. 3

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1145/2071389.2071392

 

From Explicit to Symbolic Types for Communication Protocols in CCS

Nielson, Hanne Riis ; Nielson, Flemming ; Kreiker, Jörg ; Pilegaard, Henrik
part of: Formal Modeling: Actors, Open Systems, Biological Systems, pages: 74-89, 2012, Springer
Presented at:
Symposium in honor of Carolyn Talcott

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1007/978-3-642-24933-4_5

 

Key Update Assistant for Resource-Constrained Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming
part of: 2012 IEEE Symposium on Computers and Communications (ISCC), pages: 000075-000081 , 2012, IEEE
Presented at:
2012 IEEE Symposium on Computers and Communications (ISCC)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1109/ISCC.2012.6249271

 

Layered Fixed Point Logic

Filipiuk, Piotr ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 14th symposium on Principles and practice of declarative programming, pages: 45-54, 2012, Association for Computing Machinery
Presented at:
14th International Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming (PPDP 2012)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1145/2370776.2370784

  PDF

Lazy Mobile Intruders

Mödersheim, Sebastian Alexander ; Nielson, Flemming ; Nielson, Hanne Riis

Type: Report

Status: Published     |    Year: 2012

 

LBTool: A stochastic toolkit for leave-based key updates

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Nielsen, Bo Friis
part of: 2012 IEEE Symposium on Computers and Communications, pages: 868-875, 2012, IEEE
Presented at:
2012 IEEE Symposium on Computers and Communications (ISCC)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1109/ISCC.2012.6249411

 

Model Checking as Static Analysis: Revisited

Zhang, Fuyuan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Integrated Formal Methods, pages: 99-112, 2012, Springer
Presented at:
9th International Conference on Integrated Formal Methods (iFM 2012)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1007/978-3-642-30729-4_8

 

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

Yuksel, Ender ; Zhu, Huibiao ; Nielson, Hanne Riis ; Huang, Heqing ; Nielson, Flemming
part of: 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE), pages: 25-32, 2012, IEEE
Presented at:
6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1109/TASE.2012.44

  PDF

Modelling Chinese Smart Grid

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Zhu, Huibiao ; Huang, Heqing

Type: Report

Status: Published     |    Year: 2012

 

Position paper: A generic approach for security policies composition

Hernandez, Alejandro Mario ; Nielson, Flemming
part of: PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security , pages: Article No. 5, 2012, Association for Computing Machinery
Presented at:
7th Workshop on Programming Languages and Analysis for Security (PLAS 2012)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1145/2336717.2336722

 

Recursive Advice for Coordination

Terepeta, Michal Tomasz ; Nielson, Hanne Riis ; Nielson, Flemming
part of: Coordination Models and Languages, pages: 137-151, 2012
Presented at:
14th International Conference on Coordination Models and Languages

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1007/978-3-642-30829-1_10

 

Static Analysis of IMC

Skrypnyuk, Nataliya ; Nielson, Flemming ; Pilegaard, Henrik
in: Journal of Logic and Algebraic Programming, vol: 81, issue: 4, pages: 522-540

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1016/j.jlap.2012.03.011

 

The Logic of XACML

Ramli, Carroline Dewi Puspa Kencana ; Nielson, Hanne Riis ; Nielson, Flemming
part of: Formal Aspects of Component Software, pages: 205-222, 2012, Springer
Presented at:
8th International Symposium on Formal Aspects of Component Software (FACS 2011)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1007/978-3-642-35743-5_13

2011
 

Analysing Protocol Stacks for Services

Gao, Han ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Rigorous Software Engineering for Service-Oriented Systems, pages: 369-389, 2011, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2011

  PDF

A Stochastic Broadcast Pi-Calculus

Song, Lei ; Nielson, Flemming ; Nielsen, Bo Friis
in: Electronic Proceedings in Theoretical Computer Science, vol: 57, issue: Proc. QAPL 2011, pages: 74-88
Presented at:
Workshop on Quantitative Aspects of Programming Languages

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.4204/EPTCS.57.6

 

Automata-Based CSL Model Checking

Zhang, Lijun ; Jansen, David N. ; Nielson, Flemming ; Hermanns, Holger
part of: Automata, Languages and Programming, pages: 271-282, 2011, Springer
Presented at:
38th International Colloquium on Automata, Languages and Programming

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.1007/978-3-642-22012-8_21

 

CaPiTo: protocol stacks for services

Gao, Han ; Nielson, Flemming ; Nielson, Hanne Riis
in: Formal Aspects of Computing, vol: 23, issue: 4, pages: 541-565

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.1007/s00165-011-0174-7

  PDF

Characteristics of Key Update Strategies for Wireless Sensor Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming
part of: Proceedings of the International Conference on Network Communication and Computer (ICNCC 2011), pages: 132-136, 2011
Presented at:
International Conference on Network Communication and Computer

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011

 

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

Yang, Fan ; Aotani, Tomoyuki ; Masuhara, Hidehiko ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Coordination Models and Languages, pages: 202-218, 2011, Springer
Presented at:
13th International Conference on Coordination Models and Languages

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.1007/978-3-642-21464-6_14

 

Controlling Modelling Artifacts

Smith, Michael James Andrew ; Nielson, Flemming ; Nielson, Hanne Riis
part of: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), pages: 171-180, 2011, IEEE
Presented at:
8th International Conference on Quantitative Evaluation of Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.1109/QEST.2011.32

 

Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems

Hernandez, Alejandro Mario ; Nielson, Flemming ; Nielson, Hanne Riis
in: Scientific Annals of Computer Science, vol: 21, issue: 1, pages: 107-149

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2011

 

Galois Connections for Flow Algebras

Filipiuk, Piotr ; Terepeta, Michal Tomasz ; Nielson, Hanne Riis ; Nielson, Flemming
part of: Formal Techniques for Distributed Systems, pages: 138-152, 2011, Springer
Presented at:
IFIP International Conference on Formal Methods for Open Object-based Distributed Systems & IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.1007/978-3-642-21461-5

 

Modal abstractions of concurrent behavior

Nielson, Flemming ; Nanz, Sebastian ; Nielson, Hanne Riis
in: A C M Transactions on Computational Logic, vol: 12, issue: 3, pages: 18

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.1145/1929954.1929955

  PDF

Optimizing Key Updates in Sensor Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Fruth, Matthias ; Kwiatkowska, Marta
part of: 2011 IEEE Sensors Applications Symposium (SAS), pages: 82-87, 2011, IEEE
Presented at:
2011 IEEE Sensors Applications Symposium

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.1109/SAS.2011.5739805

 

Reachability for Finite-State Process Algebras Using Static Analysis

Skrypnyuk, Nataliya ; Nielson, Flemming
part of: Reachability Problems, pages: 231-244, 2011, Springer
Presented at:
International Workshop on Reachability Problems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.1007/978-3-642-24288-5_20

 

Resilience Analysis of Key Update Strategies for Resource-Constrained Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming
part of: 2011 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), 2011
Presented at:
3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011

  PDF

The Guided System Development Framework

Carvalho Quaresma, Jose Nuno ; Probst, Christian W. ; Nielson, Flemming
part of: Proceedings of the 23rd Nordic Workshop Programming Theory, pages: 69-72, 2011
Presented at:
Nordic Workshop Programming Theory

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011

  PDF

The Logic of XACML

Ramli, Carroline Dewi Puspa Kencana ; Nielson, Hanne Riis ; Nielson, Flemming
part of: Proceedings of FACS 2011, 2011
Presented at:
8th International Symposium on Formal Aspects of Component Software (FACS 2011)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2011

2010
 

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming
in: Computer Journal, vol: 54, issue: 4, pages: 589-601

Type: Journal article (Peer reviewed)

Status: E-pub ahead of print     |    Year: 2010     |    DOI: https://doi.org/10.1093/comjnl/bxq036

  PDF

AspectKE*

Yang, Fan ; Masuhara, Hidehiko ; Aotani, Tomoyuki ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), pages: 27-31, 2010, Universitätsverlag Potsdam
Presented at:
9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2010

 

AspectKE*:Security Aspects with Program Analysis for Distributed Systems

Yang, Fan ; Masuhara, Hidehiko ; Aotani, Tomoyuki ; Nielson, Flemming ; Nielson, Hanne Riis

Type: Interactive production

Status: Published     |    Year: 2010

 

Explicit Versus Symbolic Algorithms for Solving ALFP Constraints

Filipiuk, Piotr ; Nielson, Hanne Riis ; Nielson, Flemming
part of: Electronic Notes in Theoretical Computer Science, pages: 15-28, 2010
Presented at:
Proceedings of the Tools for Automatic Program AnalysiS (TAPAS), Proceedings of the Tools for Automatic Program AnalysiS (TAPAS)

Type: Article in proceedings (Peer reviewed)

Status: E-pub ahead of print     |    Year: 2010     |    DOI: https://doi.org/10.1016/j.entcs.2010.09.015

 

From Flow Logic to static type systems for coordination languages

De Nicola, Rocco ; Gorla, Daniele ; Hansen, Rene Rydhof ; Nielson, Flemming ; Nielson, Hanne Riis ; Probst, Christian W. ; Pugliese, Rosario
in: Science of Computer Programming, vol: 75, issue: 6, pages: 376-397
Presented at:
10th International Conference Coordination Models and Languages

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2010     |    DOI: https://doi.org/10.1016/j.scico.2009.07.009

 

High Security at a Low Cost

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming
Presented at:
Federated Logic Conference : Models and Logics for Quantitative Analysis Workshop

Type: Poster

Status: E-pub ahead of print     |    Year: 2010

 

History-sensitive versus future-sensitive approaches to security in distributed systems

Hernandez, Alejandro Mario ; Nielson, Flemming
part of: ICE2010, pages: 29-43, 2010
Presented at:
DisCoTec2010 : ICE2010 Satellite Workshop

Type: Article in proceedings (Peer reviewed)

Status: E-pub ahead of print     |    Year: 2010

 

Model Checking Is Static Analysis of Modal Logic

Nielson, Flemming ; Nielson, Hanne Riis
in: Lecture Notes in Computer Science, vol: 6014, pages: 191-205

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2010     |    DOI: https://doi.org/10.1007/978-3-642-12032-9_14

 

Model Checking Multivariate State Rewards

Nielsen, Bo Friis ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Seventh International Conference on the Quantitative Evaluation of Systems, pages: 7-16, 2010
Presented at:
Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, VA, USA September 15-September 18

Type: Article in proceedings (Peer reviewed)

Status: E-pub ahead of print     |    Year: 2010     |    DOI: https://doi.org/10.1109/QEST.2010.10

  PDF

Optimizing ZigBee Security using Stochastic Model Checking

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Fruth, Matthias ; Kwiatkowska, Marta

Type: Report

Status: Published     |    Year: 2010

 

Probabilistic Aspects: Checking Security in an Imperfect World

Hankin, Chris ; Nielson, Flemming ; Nielson, Hanne Riis
in: Lecture Notes in Computer Science, vol: 6084, pages: 348-363

Type: Conference article (Peer reviewed)

Status: E-pub ahead of print     |    Year: 2010     |    DOI: https://doi.org/10.1007/978-3-642-15640-3_23

 

Static analysis of topology-dependent broadcast networks

Nanz, Sebastian ; Nielson, Flemming ; Nielson, Hanne Riis
in: Information and Computation, vol: 208, issue: 2, pages: 117-139

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2010     |    DOI: https://doi.org/10.1016/j.ic.2009.10.003

2009
 

Advice from Belnap Policies

Hankin, Chris ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Computer Security Foundations Symposium, IEEE, pages: 234-247, 2009
Presented at:
Computer Security Foundations Symposium, IEEE

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2009     |    DOI: https://doi.org/http://doi.ieeecomputersociety.org/10.1109/CSF.2009.8

 

A monotone framework for CCS

Nielson, Hanne Riis ; Nielson, Flemming
in: Computer Languages, Systems and Structures, vol: 35, issue: 4, pages: 365-394

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2009     |    DOI: https://doi.org/10.1016/j.cl.2008.07.001

 

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming
part of: Proceedings of the 24th International Symposium on Computer and Information Sciences (ISCIS 2009), pages: 340-345, 2009, IEEE
Presented at:
International Symposium on Computer and Information Sciences

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2009     |    DOI: https://doi.org/10.1109/ISCIS.2009.5291816

 

Enforcing Mandatory Access Control in Distributed Systems using Aspect-Orientation

Hernandez, Alejandro Mario ; Nielson, Flemming
part of: 21st Nordic Workshop on Programming Theory Proceedings, pages: 62-64, 2009
Presented at:
21st Nordic Workshop on Programming Theory

Type: Conference abstract in proceedings

Status: Published     |    Year: 2009

  PDF

Pathway analysis of IMC

Skrypnyuk, Nataliya ; Nielson, Flemming ; Pilegaard, Henrik
part of: 21st Nordic Workshop on Programming Theory, pages: 7-10, 2009, Lyngby
Presented at:
21st Nordic Workshop on Programming Theory

Type: Conference abstract in proceedings

Status: Published     |    Year: 2009