LBT Publications

Fixpoints vs Moore Families

Zhang, Fuyuan ; Nielson, Flemming ; Nielson, Hanne Riis

part of: Proceedings of SOFSEM 2011, 2012,

Type: Article in proceedings - Article in proceedings

Presented at: 38th International Conference on Current Trends in Theory and Practice of Computer Science : Student Research Forum, Špindlerův Mlýn

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 (ISBN: 978-3-642-24932-7), pages: 74-89, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: Symposium in honor of Carolyn Talcott, Menlo Park, California, USA

DOI: 10.1007/978-3-642-24933-4_5

Theory of Security and Applications

Mödersheim, Sebastian Alexander ; Palamidessi, Catuscia

Type: Book - Book

DOI: 10.1007/978-3-642-27375-9

Deciding Security for a Fragment of ASLan

Mödersheim, Sebastian Alexander

Type: Report - Report

Model Checking as Static Analysis: Revisited

Zhang, Fuyuan ; Nielson, Flemming ; Nielson, Hanne Riis

part of: Integrated Formal Methods (ISBN: 978-3-642-30728-7), pages: 99-112, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 9th International Conference on Integrated Formal Methods (iFM 2012), Pisa

DOI: 10.1007/978-3-642-30729-4_8

A Succinct Approach to Static Analysis and Model Checking

Filipiuk, Piotr ; Nielson, Hanne Riis ; Nielson, Flemming

Type: Ph.d. thesis - Ph.d. thesis

Key Update Assistant for Resource-Constrained Networks

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

part of: 2012 IEEE Symposium on Computers and Communications (ISCC) (ISBN: 978-1-4673-2712-1), pages: 000075-000081, 2012, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 2012 IEEE Symposium on Computers and Communications (ISCC), Cappadocia

DOI: 10.1109/ISCC.2012.6249271

Model Checking as Static Analysis

Zhang, Fuyuan ; Nielson, Flemming ; Nielson, Hanne Riis

Type: Ph.d. thesis - Ph.d. thesis

Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks

Di Mauro, Alessio ; Papini, Davide ; Vigo, Roberto ; Dragoni, Nicola

part of: Networked Digital Technologies (ISBN: 978-3-642-30566-5), pages: 289-301, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 4th International Conference on Networked Digital Technologies (NDT 2012), Dubai

DOI: 10.1007/978-3-642-30567-2_24

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 (ISBN: 978-1-4503-1441-1), pages: Article No. 5, 2012, Association for Computing Machinery,

Type: Article in proceedings - Article in proceedings

Presented at: 7th Workshop on Programming Languages and Analysis for Security (PLAS 2012), Beijing

DOI: 10.1145/2336717.2336722

Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm

Jansen, David N. ; Nielson, Flemming ; Zhang, Lijun

part of: NASA Formal Methods (ISBN: 978-3-642-28890-6), pages: 326-340, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 4th NASA Formal Methods Symposium (NFM 2012), Norfolk, Virginia

DOI: 10.1007/978-3-642-28891-3_31

A Move in the Security Measurement Stalemate: Elo-Style Ratings to Quantify Vulnerability

Pieters, Wolter ; van der Ven, Sanne H.G. ; Probst, Christian W.

part of: Proceedings of the 2012 workshop on New security paradigms (ISBN: 978-1-4503-1794-8), pages: 1-14, 2012, Association for Computing Machinery,

Type: Article in proceedings - Article in proceedings

Presented at: New Security Paradigms Workshop (NSPW 2012), Bertinoro

DOI: 10.1145/2413296.2413298

The Logic of XACML

Ramli, Carroline Dewi Puspa Kencana ; Nielson, Hanne Riis ; Nielson, Flemming

part of: Formal Aspects of Component Software (ISBN: 978-3-642-35742-8), pages: 205-222, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo

DOI: 10.1007/978-3-642-35743-5_13

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) (ISBN: 978-1-4673-2353-6), pages: 25-32, 2012, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012), Beijing

DOI: 10.1109/TASE.2012.44

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

part of: Tools and Algorithms for the Construction and Analysis of Systems (ISBN: 978-3-642-28755-8), pages: 267-282, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Tallinn

DOI: 10.1007/978-3-642-28756-5_19

Insiders and Insider Threats

Hunker, Jeffrey ; Probst, Christian W.

in journal: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (ISSN: 2093-5374), vol: 2, issue: 1, pages: 4-27, 2011

Type: Journal article - Journal article

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 (ISBN: 878-3-642-21463-9), pages: 202-218, 2011, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 13th International Conference on Coordination Models and Languages, Reykjavik

DOI: 10.1007/978-3-642-21464-6_14

Synthesis for PCTL in Parametric Markov Decision Processes

Hahn, Ernst Moritz ; Han, Tingting ; Zhang, Lijun

part of: NASA Formal Methods (ISBN: 978-3-642-20397-8), pages: 146-161, 2011, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: NASA Formal Methods Symposium, Pasadena, California, USA

DOI: 10.1007/978-3-642-20398-5

Model Checking Algorithms for CTMDPs

Buchholz, Peter ; Hahn, Ernst Moritz ; Hermanns, Holger ; Zhang, Lijun

part of: Computer Aided Verification (ISBN: 978-3-642-22109-5), pages: 225-242, 2011, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on Computer Aided Verification, Snowbird, Utah, USA

DOI: 10.1007/978-3-642-22110-1

Automata-Based CSL Model Checking

Zhang, Lijun ; Jansen, David N. ; Nielson, Flemming ; Hermanns, Holger

part of: Automata, Languages and Programming (ISBN: 978-3-642-22011-1), pages: 271-282, 2011, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 38th International Colloquium on Automata, Languages and Programming, Zürich

DOI: 10.1007/978-3-642-22012-8_21

Verification of Stochastic Process Calculi

Skrypnyuk, Nataliya ; Nielson, Flemming ; Nielson, Hanne Riis

Type: Ph.d. thesis - Ph.d. thesis

Qualitative and Quantitative Security Analyses for ZigBee Wireless Sensor Networks

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

Type: Ph.d. thesis - Ph.d. thesis

Galois Connections for Flow Algebras

Filipiuk, Piotr ; Terepeta, Michal Tomasz ; Nielson, Hanne Riis ; Nielson, Flemming

part of: Formal Techniques for Distributed Systems (ISBN: 978-3-642-21460-8), pages: 138-152, 2011, Springer,

Type: Article in proceedings - Article in proceedings

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, Reykjavik, Iceland

DOI: 10.1007/978-3-642-21461-5

Controlling Modelling Artifacts

Smith, Michael James Andrew ; Nielson, Flemming ; Nielson, Hanne Riis

part of: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) (ISBN: 978-1-4577-0973-9), pages: 171-180, 2011, IEEE,

Type: Article in proceedings - Article in proceedings

Presented at: 8th International Conference on Quantitative Evaluation of Systems, Aachen

DOI: 10.1109/QEST.2011.32

Modelling Configuration Knowledge in Heterogeneous Product Families

Queva, Matthieu Stéphane Benoit ; Männistö, Tomi ; Ricci, Laurent ; Probst, Christian W.

part of: Proceedings of the Workshop on Configuration (ConfWS 2011), pages: 9-18, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: The IJCAI Workshop on Configuration, Barcelona, Spain

Identifying and Mitigating Insider Threats

Probst, Christian W.

in journal: I T - Information Technology (ISSN: 1611-2776) (DOI: http://dx.doi.org/10.1524/itit.2011.0644), vol: 53, issue: 4, pages: 202-206, 2011

Type: Journal article - Journal article

DOI: 10.1524/itit.2011.0644

A ZigBee-based Automatic Meter Reading System

Yüksel, Emre ; Zaim, Abdül Halim ; Yuksel, Ender ; Aydin, Muhammed Ali

part of: Proceedings of the International Conference on Networking and Future Internet (ICNFI 2011), 2011,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on Networking and Future Internet, Paris, France

Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach

Schoeberl, Martin ; Schleuniger, Pascal ; Puffitsch, Wolfgang ; Brandner, Florian ; Probst, Christian W. ; Karlsson, Sven ; Thorn, Tommy

part of: Bringing Theory to Practice: Predictability and Performance in Embedded Systems (ISBN: 978-3-939897-28-6), pages: 11-21, 2011, OASICS,

Type: Article in proceedings - Article in proceedings

Presented at: Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems

DOI: 10.4230/OASIcs.PPES.2011.11

From Concurrency Models to Numbers

Hermanns, Holger ; Zhang, Lijun

part of: NATO Science for Peace and Security Series (ISBN: 978-1-60750-710-9), pages: 182-210, 2011, IOS Press,

Type: Book chapter - Book chapter

Measurability and Safety Verification for Stochastic Hybrid Systems

Fränzle, Martin ; Hahn, Ernst Moritz ; Hermanns, Holger ; Wolovick, Nicolás ; Zhang, Lijun

part of: Proceedings of the 14th international conference on Hybrid systems: computation and control (ISBN: 9781450306294), pages: 43-52, 2011, Association for Computing Machinery,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on Hybrid Systems : Computation and Control, Chicago, Illinois, USA

DOI: 10.1145/1967701.1967710

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

Hahn, Ernst Moritz ; Norman, Gethin ; Parker, David ; Wachter, Björn ; Zhang, Lijun

part of: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), 2011,

Type: Article in proceedings - Article in proceedings

Presented at: 8th International Conference on Quantitative Evaluation of Systems, Aachen

Vertical Protocol Composition

Groß, Thomas ; Mödersheim, Sebastian Alexander

part of: Proceedings of the 24th Computer Security Foundations Symposium 2011, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: The Computer Security Foundations Symposium, Abbaye des Vaux de Cernay, France

Diffie-Hellman without Difficulty

Mödersheim, Sebastian Alexander

part of: Formal Aspects of Security and Trust, pages: 214-229, 2011, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: Formal Aspects of Security and Trust, Leuven

DOI: 10.1007/978-3-642-29420-4

A Stochastic Broadcast Pi-Calculus

Song, Lei ; Nielson, Flemming ; Nielsen, Bo Friis

in journal: Electronic Proceedings in Theoretical Computer Science (ISSN: 2075-2180) (DOI: http://dx.doi.org/10.4204/EPTCS.57.6), vol: 57, issue: Proc. QAPL 2011, pages: 74-88, 2011

Type: Conference article - Conference article

Presented at: Workshop on Quantitative Aspects of Programming Languages, Saarbrücken, Germany

DOI: 10.4204/EPTCS.57.6

Hardware Support for Dynamic Languages

Schleuniger, Pascal ; Karlsson, Sven ; Probst, Christian W.

Type: Poster - Poster

Presented at: 7th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi

The Logic of XACML

Ramli, Carroline Dewi Puspa Kencana ; Nielson, Hanne Riis ; Nielson, Flemming

part of: Proceedings of FACS 2011, 2011,

Type: Article in proceedings - Article in proceedings

Presented at: 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo

Using Dafny, an Automatic Program Verifier

Herbert, Luke Thomas ; Leino, K. Rustan M. ; Carvalho Quaresma, Jose Nuno

Type: Paper - Paper

Presented at: 8th LASER Summer School on Software Engineering, Elba Island

Optimizing ZigBee Security using Stochastic Model Checking

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

Type: Report - Report

AspectKE*:Security Aspects with Program Analysis for Distributed Systems

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

Type: Interactive production - Interactive production

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) (ISBN: 978-3-86956-043-4), pages: 27-31, 2010, Universitätsverlag Potsdam,

Type: Article in proceedings - Article in proceedings

Presented at: 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Rennes, France

PARAM: A Model Checker for Parametric Markov Models

Hahn, Ernst Moritz ; Hermanns, Holger ; Wachter, Björn ; Zhang, Lijun

in journal: Lecture Notes in Computer Science (ISSN: 0302-9743), 2010

Type: Conference article - Conference article

Presented at: 22nd International Conference on Computer Aided Verification, Edinburgh

Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes

Neuhäußer, Martin R. ; Zhang, Lijun

in journal: Sixth International Conference on the Quantitative Evaluation of Systems (ISSN: 0302-9743), 2010

Type: Conference article - Conference article

Presented at: Quantitative Evaluation of Systems

Abstraction by Set-Membership

Mödersheim, Sebastian Alexander

part of: Proceedings of the 17th ACM Conference on Computer and Communications Security (ISBN: 978-1-4503-0244-9), pages: 351-360, 2010, Association for Computing Machinery, New York

Type: Article in proceedings - Article in proceedings

Presented at: ACM Conference on Computer and Communications Security, Chicago, USA

Probabilistic Aspects: Checking Security in an Imperfect World

Hankin, Chris ; Nielson, Flemming ; Nielson, Hanne Riis

in journal: Lecture Notes in Computer science (DOI: http://dx.doi.org/10.1007/978-3-642-15640-3_23), vol: 6084, pages: 348-363, 2010

Type: Conference article - Conference article

DOI: 10.1007/978-3-642-15640-3_23

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

Hernandez, Alejandro Mario ; Nielson, Flemming

part of: ICE2010, pages: 29-43, 2010,

Type: Article in proceedings - Article in proceedings

Presented at: DisCoTec2010 : ICE2010 Satellite Workshop, CWI, Amsterdam

Aspects of Insider Threats

Probst, Christian W. ; Hunker, Jeffrey ; Gollmann, Dieter ; Bishop, Matt

part of: Aspects of Insider Threats (ISBN: 978-1-4419-7132-6), pages: 1-16, 2010, Springer,

Type: Book chapter - Book chapter

The Risk of Risk Analysis

Probst, Christian W. ; Hunker, Jeffrey

part of: Economics of Information Security and Privacy, pages: 279-299, 2010, Springer,

Type: Book chapter - Book chapter

Model Checking Is Static Analysis of Modal Logic

Nielson, Flemming ; Nielson, Hanne Riis

in journal: Lecture Notes in Computer Science (ISSN: 0302-9743) (DOI: http://dx.doi.org/10.1007/978-3-642-12032-9_14), vol: 6014, pages: 191-205, 2010

Type: Conference article - Conference article

DOI: 10.1007/978-3-642-12032-9_14

Aspects with Program Analysis for Security Policies

Yang, Fan ; Nielson, Flemming ; Nielson, Hanne Riis

Type: Ph.d. thesis - Ph.d. thesis

On Probabilistic Automata in Continuous Time

Eisentraut, Christian ; Hermanns, Holger ; Zhang, Lijun

in journal: Symposium on Logic in Computer Science (ISSN: 1043-6871) (DOI: http://dx.doi.org/10.1109/LICS.2010.41), pages: 342 - 351, 2010

Type: Conference article - Conference article

Presented at: 25th Annual IEEE Symposium on Logic in Computer Science

DOI: 10.1109/LICS.2010.41