SEN - List of Publications and Thesis

(BibTeX)

2014

Md. Aquil Khan, Mohua Banerjee, and Roland Rieke.
An update logic for information systems (BibTeX).
International Journal of Approximate Reasoning, 55(1, Part 4):436 - 456, 2014.
Rough Sets and Logic.

Peter Ochsenschläger and Roland Rieke.
Construction Principles for Well-behaved Scalable Systems (BibTeX).
In ICONS 2014, The Ninth International Conference on Systems, February 23 - 27, 2014 - Nice, France, pages 32-39. IARIA, 2014.

Glenn S. Dardick, Barbara Endicott-Popovsky, Pavel Gladyshev, Thomas Kemmerich, and Carsten Rudolph.
Digital Evidence and Forensic Readiness (Dagstuhl Seminar 14092) (BibTeX).
Dagstuhl Reports, 4(2):150-190, 2014.

Roland Rieke, Jürgen Repp, Maria Zhdanova, and Jörn Eichler.
Monitoring Security Compliance of Critical Processes (BibTeX).
In Parallel, Distributed and Network-Based Processing (PDP), 2014 22nd Euromicro International Conference on, pages 552-560, Feb 2014.

Roland Rieke, Maria Zhdanova, Jürgen Repp, Romain Giot, and Chrystel Gaber.
Verhaltensanalyse zur Erkennung von Missbrauch mobiler Geldtransferdienste (BibTeX).
In Stefan Katzenbeisser, Volkmar Lotz, and Edgar Weippl, editors, GI Sicherheit 2014, volume P-228 of Lecture Notes in Informatics (LNI) - Proceedings, pages 271-282. GI, March 2014.

2013

Jose Fran. Ruiz, Marcos Arjona, Antonio Maña, Carsten Rudolph, and Janne Paatero.
A Security Engineering Process for Secure Modelling of Systems (BibTeX).
In NATO Symposium on Architecture Definition & Evaluation. NATO, 2013.

Andre Rein, Carsten Rudolph, and Jose Fran. Ruiz.
Building Secure Systems Using a Security Engineering Process and Security Building Blocks (BibTeX).
In Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS-Workshop), 2013.

Lambert Grosskopf, Nicolai Kuntze, and Carsten Rudolph.
Beweiswert digitaler Asservate (BibTeX).
ITRB, 4:90-92, 2013.

Nicolai Kuntze, Pedro Larbig, and Carsten Rudolph.
Demo: Zero Touch Configuration (BibTeX).
In Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management. IFIP/IEEE, 2013.

Jose Fran. Ruiz, Marcos Arjona, Janne Paatero, and Antonio Maña.
Emergency Systems Modelling using a Security Engineering Process (BibTeX).
In Simultech'13, 2013.

Roland Rieke, Maria Zhdanova, Jürgen Repp, Romain Giot, and Chrystel Gaber.
Fraud Detection in Mobile Payment Utilizing Process Behavior Analysis (BibTeX).
In Proceedings of 2013 International Conference on Availability, Reliability and Security, ARES 2013, pages 662-669. IEEE Computer Society, 2013.

Alexander Oberle, Andre Rein, Nicolai Kuntze, Carsten Rudolph, Janne Paatero, Andrew Lunn, and Peter Racz.
Integrating Trust Establishment into Routing Protocols of Today's MANETs (BibTeX).
In 2013 IEEE Wireless Communications and Networking Conference (WCNC 2013), pages 1403-1408, Shanghai, China, April 2013.

Nicolai Kuntze and Carsten Rudolph.
On the Automatic Establishment of Security Relations for Devices (BibTeX).
In Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management. IFIP/IEEE, 2013.

Pedro Larbig, Nicolai Kuntze, Carsten Rudolph, and Andreas Fuchs.
On the Integration of Harware-based Trust in Embedded Devices (BibTeX).
Konferenz für ARM-Systementwicklung, 2013.

Martin Schramm, Karl Leidl, Andreas Grzemba, and Nicolai Kuntze.
POSTER: Enhanced embedded device security by combining hardware-based trust mechanisms (BibTeX).
In Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, CCS '13, pages 1395-1398, New York, NY, USA, 2013. ACM.

Andreas Fuchs and Sigrid Gürgens.
Preserving Confidentiality in Component Compositions (BibTeX).
In Software Composition - 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings, pages 33-48. Springer, 2013.

C. Rudolph, N. Kuntze, T. Kemmerich, and B. Endicott-Popovsky.
Scenarios for Reliable and Secure Digital Evidence (BibTeX).
In Ninth Annual IFIP WG 11.9 International Conference, 2013.

N. Kuntze and C. Rudolph.
Secure Deployment of SmartGrid Equipment (BibTeX).
In Power and Energy Society General Meeting, 2013 IEEE, 2013.

Jose Fran. Ruiz, Marcos Arjona, Niklas Carstens, and Antonio Maña.
Secure Engineering and Modelling of a Metering Devices System (BibTeX).
In SECSE'13, 2013.

Hellen Schilling, Nicolai Kuntze, and Carsten Rudolph.
Sicherstellung elektronischer Daten und ``selektive Datenlöschung'' (BibTeX).
In RA Dr. iur. h.c. Gerhard Strate, editor, Onlinezeitschrift für Höchstrichterliche Rechtsprechung zum Strafrecht. hrr-strafrecht.de, June 2013.

Khan Ferdous Wahid, Nicolai Kuntze, and Carsten Rudolph.
Trusted Virtual Machine Management for Virtualization in Critical Environments (BibTeX).
1st International Symposium for ICS & SCADA Cyber Security 2013, 2013.

2012

Luigi Coppolino, Michael Jäger, Nicolai Kuntze, and Roland Rieke.
A Trusted Information Agent for Security Information and Event Management (BibTeX).
In ICONS 2012, The Seventh International Conference on Systems, February 29 - March 5, 2012 - Saint Gilles, Reunion Island, pages 6-12. IARIA, 2012.

Roland Rieke, Julian Schütte, and Andrew Hutchison.
Architecting a security strategy measurement and management system (BibTeX).
In Proceedings of the Workshop on Model-Driven Security, MDsec '12, pages 2:1-2:6, New York, NY, USA, 2012. ACM.

Roland Rieke, Elsa Prieto, Rodrigo Diaz, Hervé Debar, and Andrew Hutchison.
Challenges for Advanced Security Monitoring - The MASSIF Project (BibTeX).
In Simone Fischer-Hübner, Sokratis Katsikas, and Gerald Quirchmayr, editors, Trust, Privacy and Security in Digital Business, volume 7449 of Lecture Notes in Computer Science, pages 222-223. Springer Berlin / Heidelberg, 2012.

Roland Rieke and Carsten Rudolph.
Como garantir a seguranca da informacao (Internet do Futuro) (BibTeX).
Brazilian RTI Magazine, pages 79-73, 2012.

Nicolai Kuntze and Carsten Rudolph.
Constructing and Evaluating Digital Evidence for Processes (BibTeX).
In Seventh International Workshop on Systematic Approaches to Digital Forensic Engeneering, 2012.

Nicolai Kuntze, Carsten Rudolph, and Janne Paatero.
Establishing Trust between Nodes in Mobile Ad-Hoc Networks (BibTeX).
In ChrisJ. Mitchell and Allan Tomlinson, editors, Trusted Systems, volume 7711 of Lecture Notes in Computer Science, pages 48-62. Springer Berlin Heidelberg, 2012.

A. Fuchs.
Herausforderungen und Lösungsansätze zur Integration von Safety und Security aus der Perspektive Formaler Methoden (BibTeX).
In Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS-Workshop), 2012.

A. Rein, C. Rudolph, J.F. Ruiz, and M. Arjona.
Introducing Security Building Block Models (BibTeX).
In RISE Workshop on Redefining and Integrating Security Engineering. IEEE, 2012.

Elsa Prieto, Rodrigo Diaz, Luigi Romano, Roland Rieke, and Mohammed Achemlal.
MASSIF: A Promising Solution to Enhance Olympic Games IT Security (BibTeX).
In Christos K. Georgiadis, Hamid Jahankhani, Elias Pimenidis, Rabih Bashroush, Ameer Al-Nemrat, Ozgur Akan, Paolo Bellavista, Jiannong Cao, Falko Dressler, Domenico Ferrari, Mario Gerla, Hisashi Kobayashi, Sergio Palazzo, Sartaj Sahni, Xuemin (Sherman) Shen, Mircea Stan, Jia Xiaohua, Albert Zomaya, and Geoffrey Coulson, editors, Global Security, Safety and Sustainability & e-Democracy, volume 99 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 139-147. Springer Berlin Heidelberg, 2012.

Andrew Hutchison and Roland Rieke.
Measuring Progress in Cyber-Security: An Open Architecture for Security Measurement Consolidation (BibTeX).
In 2012 Workshop on Cyber Security and Global Affairs and Global Security Forum, Barcelona. 2012.

Julian Schütte, Roland Rieke, and Timo Winkelvos.
Model-Based Security Event Management (BibTeX).
In Igor Kotenko and Victor Skormin, editors, Computer Network Security, volume 7531 of Lecture Notes in Computer Science, pages 181-190. Springer Berlin Heidelberg, 2012.

N. Kuntze, C. Rudolph, A. Alva, B. Endicott-Popovsky, J. Christiansen, and T. Kemmerich.
On the Creation of Reliable Digital Evidence (BibTeX).
In Eighth Annual IFIP WG 11.9 International Conference, 2012.

N. Kuntze, C. Rudolph, A. Alva, B. Endicott-Popovsky, J. Christiansen, and T. Kemmerich.
On the Creation of Reliable Digital Evidence (BibTeX).
In G. Peterson and S. Shenoi, editors, Advances in Digital Forensics VIII. Springer, 2012.

C. Rudolph and A. Fuchs.
Redefining Security Engineering (BibTeX).
In 5th International Conference on New Technologies, Mobility and Security, 2012.

Peter Ochsenschläger and Roland Rieke.
Reliability Aspects of Uniformly Parameterised Cooperations (BibTeX).
In ICONS 2012, The Seventh International Conference on Systems, February 29 - March 5, 2012 - Saint Gilles, Reunion Island, pages 25-34. IARIA, 2012.

Hermann Kaindl, Marko Jäntti, Herwig Mannaert, Kazumi Nakamatsu, and Roland Rieke.
Requirements Engineering for Software vs. Systems in General (BibTeX).
In ICONS 2012, The Seventh International Conference on Systems, February 29 - March 5, 2012 - Saint Gilles, Reunion Island, pages 190-192. IARIA, 2012.

Jose Francisco Ruiz, Marcos Arjona, Antonio Maña, Antoine Monsifrot, Michel Morvan, and Andre Rein.
Security Engineering and Modelling of Set-top Boxes (BibTeX).
In RISE Workshop on Redefining and Integrating Security Engineering. IEEE, 2012.

A. Fuchs and C. Rudolph.
Security Engineering based on Structured Formal Reasoning (BibTeX).
In RISE Workshop on Redefining and Integrating Security Engineering. IEEE, 2012.

Peter Ochsenschläger and Roland Rieke.
Security Requirements for Uniformly Parameterised Cooperations (BibTeX).
Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, 0:288-292, 2012.

Roland Rieke, Luigi Coppolino, Andrew Hutchison, Elsa Prieto, and Chrystel Gaber.
Security and Reliability Requirements for Advanced Security Event Management (BibTeX).
In Igor Kotenko and Victor Skormin, editors, Computer Network Security, volume 7531 of Lecture Notes in Computer Science, pages 171-180. Springer Berlin Heidelberg, 2012.

N. Kuntze E. Eren K.-O. Detken, A. Oberle.
Simulation Environment (SE) for mobile Virtualized Security Appliances (VSA) (BibTeX).
In 1st IEEE International Symposium on Wireless Systems within the Conferences on Intelligent Data Acquisition and Advanced Computing Systems. University of Applied Sciences Offenburg, September 2012.

Jörn Eichler, Andreas Fuchs, and Nico Lincke.
Supporting Security Engineering at Design Time with Adequate Tooling (BibTeX).
In The 15th IEEE International Conference on Computational Science and Engineering, 2012.

Carsten Rudolph, Lambert Großkopf, Barbara Endicot-Popovsky, Thomas Kemmerich, Nicolai Kuntze, Aaron Alva, and John Christiansen.
Sicherheit von Messgeräten und der Beweiswert digitaler Daten (BibTeX).
In Patrick Horster, editor, Proceedings DACH Security, September 2012.

Carsten Rudolph.
Trust Areas: A Security Paradigm for the Future Internet (BibTeX).
In Security and Trust Management, volume 7170 of LNCS, pages 22-27, 2012.

Ronald Marx, Nicolai Kuntze, Carsten Rudolph, Ingo Bente, and Joerg Vieweg.
Trusted service access with dynamic security infrastructure configuration (BibTeX).
In 18th Asia-Pacific Conference on Communications (APCC), October 2012.

2011

Timo Winkelvos, Carsten Rudolph, and Jürgen Repp.
A Property Based Security Risk Analysis Through Weighted Simulation (BibTeX).
In H. S. Venter, M Coetzee, and M. M. Look, editors, Proceedings of the ISSA 2011 Conference. Information Security South Africa (ISSA), 2011.

Andreas Fuchs and Donatus Weber.
Analysis of the SYM2 Smart Meter Remote Software Download using formal methods reasoning (BibTeX).
In S&D4RCES '11. ACM, September 2011.

Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, and Nicolas Desnos.
Enforcing S&D pattern design in RCES with modeling and formal approaches (BibTeX).
In MODELS'11: Proceedings of the 14th international conference on Model driven engineering languages and systems, pages 319-333, Berlin, Heidelberg, 2011. Springer-Verlag.

Andreas Fuchs, Sigrid Gürgens, and Carsten Rudolph.
Formal Notions of Trust and Confidentiality - Enabling Reasoning about System Security (BibTeX).
Journal of Information Processing, 19:274-291, 2011.

N. Kuntze, C. Rudolph, I. Bente, J. Vieweg, and J. von Helden.
Interoperable device Identification in Smart-Grid Environments (BibTeX).
In Power and Energy Society General Meeting, 2011 IEEE, july 2011.

Andrew Hutchison and Roland Rieke.
Management of Security Information and Events in Future Internet (BibTeX).
In 2011 Workshop on Cyber Security and Global Affairs, Budapest. 2011.

Jörn Eichler and Roland Rieke.
Model-based Situational Security Analysis (BibTeX).
In Proceedings of the 6th International Workshop on Models@run.time at the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand, volume 794 of CEUR Workshop Proceedings, pages 25-36, 2011.

Roman Korn, Nicolai Kuntze, and Jürgen Repp.
Performance evaluation in trust enhanced decentralised content distribution networks (BibTeX).
In Communications Quality and Reliability (CQR), 2011 IEEE International Workshop Technical Committee on, pages 1 -6, may 2011.

Nicolai Kuntze and Carsten Rudolph.
Secure digital chains of evidence (BibTeX).
In Sixth International Workshop on Systematic Approaches to Digital Forensic Engeneering, 2011.

Peter Ochsenschläger and Roland Rieke.
Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations (BibTeX).
Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, 0:640-645, 2011.

Roman Korn and Nicolai Kuntze.
Trustworthiness in Peer-to-Peer Communication for Commercial Applications (BibTeX).
In Sicher in die digitale Welt von morgen 12. Deutsche IT-Sicherheitskongress des BSI, pages 1 -6, may 2011.

2010

Andreas Fuchs, Sigrid Gürgens, and Carsten Rudolph.
A Formal Notion of Trust - Enabling Reasoning about Security Properties (BibTeX).
In M. Nishigaki, A. Josang, Y. Murayama, and S. Marsh, editors, Trust Management IV: 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010, Proceedings, pages 200-215. Springer-Verlag GmbH, 2010.

Julian Schütte, Nicolai Kuntze, Andreas Fuchs, and Atta Badii.
Authentic Refinement of Semantically Enhanced Policies in Pervasive Systems (BibTeX).
In Security and Privacy - Silver Linings in the Cloud - 25th IFIP TC-11 International Information Security Conference, SEC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, volume 330 of IFIP Advances in Information and Communication Technology, pages 90-102. Springer, 2010.

Peter Ochsenschläger and Roland Rieke.
Behaviour Properties of Uniformly Parameterised Cooperations (BibTeX).
Technical Report SIT-TR-2010/2, Fraunhofer SIT, 2010.

Roland Rieke.
Challenges for Systems of Systems Security Information and Event Management (BibTeX).
In 2010 Workshop on Cyber Security and Global Affairs,ETH,Zurich. 2010.

Andreas Fuchs, Sigrid Gürgens, Donatus Weber, Christian Bodenstedt, and Christoph Ruland.
Formalization of Smart Metering Requirements (BibTeX).
In S&D4RCES 2010. ACM, September 2010.

Andreas Fuchs and Roland Rieke.
Identification of Security Requirements in Systems of Systems by Functional Security Analysis (BibTeX).
In Antonio Casimiro, Rogério de Lemos, and Cristina Gacek, editors, Architecting Dependable Systems VII, volume 6420 of Lecture Notes in Computer Science, pages 74-96. Springer, 2010.

Nicolai Kuntze, Andreas Fuchs, and Carsten Rudolph.
Lecture Notes in Computer Science 6033 (BibTeX), chapter Trust in Peer-to-Peer Content Distribution Protocols, pages 76-89.
Springer, Berlin / Heidelberg, Germany, 2010.

Roland Rieke and Zaharina Stoynova.
Predictive Security Analysis for Event-Driven Processes (BibTeX).
In Igor Kotenko and Victor Skormin, editors, Computer Network Security, volume 6258 of Lecture Notes in Computer Science, pages 321-328. Springer Berlin / Heidelberg, 2010.
10.1007/978-3-642-14706-7_25.

Nicolai Kuntze and Carsten Rudolph.
Privacy in Distributed Commercial Applications (BibTeX).
In Jacques Berleur, Magda Hercheui, and Lorenz Hilty, editors, What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience, volume 328 of IFIP Advances in Information and Communication Technology, pages 214-224. Springer Boston, 2010.
10.1007/978-3-642-15479-9_21.

N. Kuntze, R. Rieke, G. Diederich, R. Sethmann, K. Sohr, T. Mustafa, and K. Detken.
Secure mobile business information processing (BibTeX).
In Proc. of the 6 IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom-10), Hongkong, China, 2010.

Jennifer Richter, Nicolai Kuntze, and Carsten Rudolph.
Securing Digital Evidence (BibTeX).
In Fifth International Workshop on Systematic Approaches to Digital Forensic Engeneering, pages 119-130, 2010.

N. Kuntze, C. Rudolph, M. Cupelli, J. Liu, and A. Monti.
Trust infrastructures for future energy networks (BibTeX).
In Power and Energy Society General Meeting - Power Systems Engineering in Challenging Times, 2010.

Peter Ochsenschläger and Roland Rieke.
Uniform Parameterisation of Phase Based Cooperations (BibTeX).
Technical Report SIT-TR-2010/1, Fraunhofer SIT, 2010.

2009

Michael Hartle, Andreas Fuchs, Marcus Ständer, Daniel Schumann, and Max Mühlhäuser.
Data Format Description and its Applications in IT Security (BibTeX).
International Journal On Advances in Security, 2(1):90-111, 2009.

N. Kuntze and A. U. Schmidt.
HANDBOOK OF RESEARCH ON SECURE MULTIMEDIA DISTRIBUTION (BibTeX), chapter Trust in the Calue-Creation Chain of Multimedia Goods, pages 405-426.
IGI Global Publishing, 2009.

Andreas Fuchs and Roland Rieke.
Identification of authenticity requirements in systems of systems by functional security analysis (BibTeX).
In Workshop on Architecting Dependable Systems (WADS 2009), in Proceedings of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks, Supplementary Volume, 2009.

A. Leicher, N. Kuntze, and A.U. Schmidt.
Implementation of a Trusted Ticket System (BibTeX).
In Emerging Challenges for Security, Privacy and Trust: 24th Ifip Tc 11 International Information Security Conference, SEC 2009, Pafos, Cyprus, May 18-20, 2009, Proceedings, page 152. Springer, 2009.

G. Bal, N. Kuntze, and A.U. Schmidt.
Injecting Trust to Cryptographic Key Management (BibTeX).
In Proceedings of the International Conference on Advanced Communication Technology, volume 9, 2009.

Andreas Fuchs, Sigrid Gürgens, and Carsten Rudolph.
On the Security Validation of Integrated Security Solutions (BibTeX).
In Emerging Challenges for Security, Privacy and Trust: 24th Ifip Tc 11 International Information Security Conference, SEC 2009, Pafos, Cyprus, May 18-20, 2009, Proceedings, pages 190-201. Springer, 2009.

Roland Rieke.
Operational Models for Security and Dependability in Electronic Health Systems (BibTeX).
In Ruth Breu, John C. Mitchell, Janos Sztipanovits, and Alfred Winter, editors, Model-Based Design of Trustworthy Health Information Systems, number 9073 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2009. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.

Nicolai Kuntze, Andreas Fuchs, and Carsten Rudolph.
Reliable Identities using off-the-shelf hardware security in MANETs (BibTeX).
In Proceedings of the International Symposium on Trusted Computing and Communications (TrustCom 2009), 2009.

Carsten Rudolph, Zaharina Velikova, and Nicolai Kuntze.
Secure Web Service Workflow Execution (BibTeX).
Electronic Notes in Theoretical Computer Science, 236:33-46, 2009.

Sigrid Gürgens and Andreas Fuchs.
Security and Dependability for Ambient Intelligence (BibTeX), chapter 7: Security and Dependability Solutions for Networks and Devices, pages 107-123.
Springer, 2009.

Sigrid Gürgens and Gimena Pujol.
Security and Dependability for Ambient Intelligence (BibTeX), chapter 4: Specification of Security and Dependability Properties, pages 49-67.
Springer, 2009.

Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, and Jürgen Repp.
Security and Dependability for Ambient Intelligence (BibTeX), chapter 9:Verification of S&D Solutions for Network Communications and Devices, pages 143-163.
Springer, 2009.

Olaf Henniger, Ludovic Apvrille, Andreas Fuchs, Yves Roudier, Alastair Ruddle, and Benjamin Weyl.
Security requirements for automotive on-board networks (BibTeX).
In 9th International Conference on Intelligent Transport Systems Telecommunications (ITST 2009), pages 641-646. IEEE, 2009.

Andreas Fuchs, Sigrid Gürgens, and Carsten Rudolph.
Towards a Generic Process for Security Pattern Integration (BibTeX).
In Trust, Privacy and Security in Digital Business · 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009, Proceedings. Springer, 2009.

Nicolai Kuntze and Carsten Rudolph.
Trust in Distributed Small Sized Data Centers (BibTeX).
In Proceedings of the International Symposium on UbiCom Frontiers - Innovative Research, Systems and Technologies UFirst 2009, Brisbane, Australia. IEEE Press, 2009.

A. Brett, N. Kuntze, and A.U. Schmidt.
Trusted Watermarks (BibTeX).
In Proc. IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2009.

Nicolai Kuntze, Martin May, Fabio Picconi, Jürgen Repp, and Renata Teixeira.
Trust in the P2P Distribution of Virtual Goods (BibTeX).
In Alapan Arnab and Jürgen Nützel, editors, Virtual Goods 2009, pages 109-123, 2009.

2008

Roland Rieke.
Abstraction-based analysis of known and unknown vulnerabilities of critical information infrastructures (BibTeX).
International Journal of System of Systems Engineering (IJSSE), 1:59-77, 2008.

P. Ochsenschläger, R. Rieke, and Z. Velikova.
Die elektronische Krankenakte - Eine Sicherheitsstrategie (BibTeX).
In DACH Security 2008 - Bestandsaufnahme, Konzepte, Anwendungen, Perspektiven., pages 90-100, June 2008.

Frederic Stumpf, Andreas Fuchs, Stefan Katzenbeisser, and Claudia Eckert.
Improving the Scalability of Platform Attestation (BibTeX).
In Proceedings of the Third ACM Workshop on Scalable Trusted Computing (ACM STC'8), pages 1-10, Fairfax, USA, October 31 2008. ACM Press.

Michael Kasper, Nicolai Kuntze, and Andreas U. Schmidt.
On the deployment of Mobile Trusted Modules (BibTeX).
In Proceedings of the Wireless Communications and Networking Conference WCNC 2008, Las Vegas, USA, 31 March - 2 April 2008. IEEE Press, 2008.

Rudolph C. and J. Repp.
Specification and Security-Analysis of an Application using the SHVT - Tutorial (BibTeX).
Fraunhofer Institute for Secure Telecooperation SIT, Darmstadt, 2008.

Michael Kasper, Nicolai Kuntze, and Andreas U. Schmidt.
Subscriber Authentication in Cellular Networks with Trusted Virtual SIMs (BibTeX).
In Proceedings of the 10th International Conference on Advanced Communication Technology (ICACT2008), Feb. 17-20, 2008, Phoenix Park, Korea. IEEE Press, 2008.

Jörg Abendroth, Nicolai Kuntze, and Andreas U. Schmidt.
Trust for Location-based Authorisation (BibTeX).
In Proceedings of the Wireless Communications and Networking Conference WCNC 2008, Las Vegas, USA, 31 March - 2 April 2008. IEEE Press, 2008.

Nicolai Kuntze, Andreas Schmidt, Zaharina Velikova, and Carsten Rudolph.
Trust in Business Processes. (BibTeX).
In ICYCS 2008, pages 1992-1997. IEEE Computer Society, 2008.

Barbara Fichtinger, Eckehard Herrmann, Nicolai Kuntze, and Andreas U. Schmidt.
Trusted Infrastructures for Identities (BibTeX).
In Rüdiger Grimm and Berthold Hass, editors, Virtual Goods: Technology, Economy, and Legal Aspects. Proceedings of the 5th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods, Koblenz, October 11-13, 2007, Hauppauge, New York, 2008. Nova Publishers.

2007

Jan Peters, Roland Rieke, Taufiq Rochaeli, Björn Steinemann, and Ruben Wolf.
A Holistic Approach to Security Policie s- Policy Distribution with XACML over COPS (BibTeX).
In Proc. of the Second International Workshop on Views On Designing Complex Architectures (VODCA 2006), volume 168, pages 143-157. Elsevier, February 2007.

P. Ochsenschläger and R. Rieke.
Abstraction Based Verification of a Parameterised Policy Controlled System (BibTeX).
In International Conference "Mathematical Methods, Models and Architectures for Computer Networks Security" (MMM-ACNS-7), volume 1 of CCIS. Springer, September 2007.
© Springer.

C. Rudolph.
Covert Identity Information in Direct Anonymous Attestation (DAA) (BibTeX).
In New Approaches for Security, Privacy and Trust in Complex Environments Proceedings of the IFIP TC 11 22nd International Information Security Conference (SEC 2007), volume 232 of IFIP International Federation for Information Processing. Springer Verlag, 2007.

S. Gürgens, C. Rudolph, A. Maña, and A. Muñoz.
Facilitating the Use of TPM Technologies through S&D Pattern (BibTeX).
In DEXA - 18th International Conference on Database and Expert Systems Applications. IEEE, 2007.

C. Apel, J. Repp, R. Rieke, and J. Steingruber.
Modellbasiertes Testen der deutschen Gesundheitskarten (BibTeX).
In DACH Security 2007 - Bestandsaufnahme, Konzepte, Anwendungen, Perspektiven., pages 338-346, June 2007.

Nicolai Kuntze, Andreas U. Schmidt, and Christian Hett.
Non-Repudiation in Internet Telephony (BibTeX).
In New Approaches for Security, Privacy, and Trust in Complex Systems. Proceedings of the IFIP sec2007. Sandton, South Africa 14-16 May 2007. Springer-Verlag, 2007.

Nicolai Kuntze and Andreas U. Schmidt.
Protection of DVB Systems by Trusted Computing (BibTeX).
In IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2007.

S. Gürgens, C. Rudolph, D. Scheuermann, M. Atts, and R. Plaga.
Security Evaluation of Scenarios Based on the TCG's TPM Specification (BibTeX).
In Joachim Biskup and Javier Lopez, editors, Computer Security - ESORICS 2007, volume 4734 of Lecture Notes in Computer Science. Springer Verlag, 2007.

Fraunhofer Institute for Secure Information Technology SIT, Darmstadt.
Simple Homomorphism Verification Tool - Manual (BibTeX), 2007.

Nicolai Kuntze and Andreas U. Schmidt.
Trusted Ticket Systems and Applications (BibTeX).
In New Approaches for Security, Privacy, and Trust in Complex Systems. Proceedings of the IFIP sec2007. Sandton, South Africa 14-16 May 2007. Springer-Verlag, 2007.

Nicolai Kuntze and Andreas U. Schmidt.
Trustworthy content push (BibTeX).
In Proceedings of the IEEE Wireless Communications and Networking Conference (WCNC 2007), Hong Kong, 11-15 March 2007, 2007.

2006

Nicolai Kuntze and Andreas U. Schmidt.
A Mobile service architecture utilising trusted computing (BibTeX).
In Proceedings of the Wirless World Research Forum Meeting 16 (WWRF 16), 2006.

Christian Hett, Nicolai Kuntze, and Andreas U. Schmidt.
A secure archive for Voice-over-IP conversations (BibTeX).
In Dorgham Sisalem et al., editor, Proceedings of the 3rd Annual VoIP Security Workshop (VSW06). ACM, 2006.

Nicolai Kuntze, Dominique Mähler, and Andreas U. Schmidt.
Employing Trusted Computing for the forward pricing of pseudonyms in reputation systems (BibTeX).
In Axmedis 2006, Proceedings of the 2nd International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution, Volume for Workshops, Industrial, and Application Sessions, 2006.

Roland Rieke.
Modelling and Analysing Network Security Policies in a Given Vulnerability Setting (BibTeX).
In Critical Information Infrastructures Security, First International Workshop, CRITIS 2006, Samos Island, Greece, volume 4347 of LNCS, pages 67-78. Springer, 2006.
© Springer.

Christian Hett, Nicolai Kuntze, and Andreas U. Schmidt.
Security and Non-Repudiation for Voice-Over-IP Conversations (BibTeX).
Poster presentation at the ISSA 2006 From Insight to Foresight Conference, Sandton, South Africa, 5th-7th July 2006, 2006.

Nicolai Kuntze and Andreas U. Schmidt.
Transitive trust in mobile scenarios (BibTeX).
In Günter Müller, editor, Proceedings of the International Conference on Emerging Trends in Information and Communication Security (ETRICS 2006), volume 3995 of Lecture Notes in Computer Science, pages 73-85. Springer-Verlag, 2006.

Nicolai Kuntze and Andreas U. Schmidt.
Trusted Computing in Mobile Action (BibTeX).
In H. S. Venter, J. H. P. Eloff, L. Labuschagne, and M. M. Eloff, editors, Peer-reviewed Proceedings of the ISSA 2006 From Insight to Foresight Conference. Information Security South Africa (ISSA), 2006.

2005

S. Gürgens, P. Ochsenschläger, and C. Rudolph.
Abstractions preserving parameter confidentiality (BibTeX).
In Computer Security - ESORICS 2005, pages 418-437, 2005.
Copyright: ©2005, Springer Verlag.

2004

Michael Herfert, Andreas U. Schmidt, Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Martin Schmucker, Steven Vettermann, Uwe Böttge, Cristina Escaleira, and Dirk Rüdiger.
Implementierung von Security Policies in offenen Telekollaborationen (BibTeX).
In Patrick Horster, editor, D-A-CH Security 2004, Sauerlach, Austria, 2004. Syssec.
http://www.makosi.deMakoSi Project Site.

S. Gürgens, P. Ochsenschläger, and C. Rudolph.
On a formal framework for security properties (BibTeX).
International Computer Standards & Interface Journal (CSI), Special issue on formal methods, techniques and tools for secure and reliable applications, 2004.

Gürgens S., Rudolph C., and Vogt H.
On the Security of Fair Non-repudiation Protocols (BibTeX).
International Journal of Information Security, 2004.
Copyright: ©2004, Springer Verlag.

Gürgens S. and Rudolph C.
Security Analysis of (Un-) Fair Non-repudiation Protocols (BibTeX).
Formal aspects of computing, 2004.
Copyright: ©2004, Springer Verlag.

Roland Rieke.
Tool based formal Modelling, Analysis and Visualisation of Enterprise Network Vulnerabilities utilising Attack Graph Exploration (BibTeX).
In In U.E. Gattiker (Ed.), Eicar 2004 Conference CD-rom: Best Paper Proceedings, Copenhagen, May 2004. EICAR e.V.

2003

Maña A., Montenegro J.A., Rudolph C., and Vivas J.L.
A business process modelling approach to security requirements engineering (BibTeX).
In DEXA 2003 International Workshop on Trust and Privacy in Digital Business. DEXA, 2003.
Copyright: ©2003, IEEE. All rights reserved.

S. Gürgens, J. Lopez, and R. Peralta.
Analysis of e-commerce protocols: Adapting a traditional technique (BibTeX).
International Journal of Information Security, 2003.

I. Agudo, S. Gürgens, and J. Lopez.
CASENETOne Year Later (BibTeX).
In 18th IFIP International Information Security Conference 2003, Athens, Greece, May 2003.

Roland Rieke.
Development of formal models for secure e-services (BibTeX).
In Eicar Conference 2003, May 2003.

S. Gürgens, Rudolph C., and Vogt H.
On the Security of Fair Non-repudiation Protocol (BibTeX).
In Wenbo Mao Colin Boyd, editor, 6th International Conference on Information Security, ISC 2003. Springer Verlag, 2003.
Copyright: ©2003, Springer Verlag.

S. Gürgens, P. Ochsenschläger, and C. Rudolph.
Parameter confidentiality (BibTeX).
In Informatik 2003 - Teiltagung Sicherheit. Gesellschaft für Informatik, 2003.

2002

S. Gürgens, P. Ochsenschläger, and C. Rudolph.
Authenticity and Provability - a Formal Framework (BibTeX).
In Infrastructure Security Conference 2002, October 2002.
Copyright: ©2002, Springer Verlag.

S. Gürgens, P. Ochsenschläger, and C. Rudolph.
Authenticity and Provability - a Formal Framework (BibTeX).
GMD Report 150, Fraunhofer Institute for Secure Telecooperation SIT, 2002.

S. Gürgens, P. Ochsenschläger, and C. Rudolph.
Role based specification and security analysis of cryptographic protocols using asynchronous product automata (BibTeX).
In DEXA 2002 International Workshop on Trust and Privacy in Digital Business. DEXA, 2002.
Copyright: ©2002, IEEE. All rights reserved.

S. Gürgens, P. Ochsenschläger, and C. Rudolph.
Role based specification and security analysis of cryptographic protocols using asynchronous product automata (BibTeX).
GMD Report 151, Fraunhofer Institute for Secure Telecooperation SIT, 2002.

S. Gürgens and C. Rudolph.
Security Analysis of (Un-) Fair Non-repudiation Protocols (BibTeX).
In Steve Schneider Ali Abdallah, Peter Ryan, editor, Formal Aspects of Security. Royal Holloway University of London, 2002.

P. Ochsenschläger, J. Repp, and R. Rieke.
Simple Homomorphism Verification Tool - Tutorial (BibTeX).
Fraunhofer Institute for Secure Telecooperation SIT, Darmstadt, 2002.

2001

C. Rudolph.
A Model for Secure Protocols and its Application to Systematic Design of Cryptographic Protocols (BibTeX).
PhD thesis, Queensland University of Technology, 2001.

R. Grimm and P. Ochsenschläger.
Binding Cooperation. A Formal Model for Electronic Commerce (BibTeX).
Computer Networks, 37, Issue 2:171-193, October 2001.
Preliminary version [144].

S. Gürgens and J. Lopez.
Suitability of a Classical Analysis Method for E-commerce Protocols (BibTeX).
In Yair Frankel George I. Davida, editor, 4th International Conference on Information Security, ISC 2001, volume 2200 of lncs, pages 46-62, Malaga, Spain, 2001. Springer Verlag.

2000

P. Ochsenschläger, J. Repp, and R. Rieke.
Abstraction and composition - a verification method for co-operating systems (BibTeX).
Journal of Experimental and Theoretical Artificial Intelligence, 12:447-459, June 2000.
Copyright: ©2000, American Association for Artificial Intelligence (www.aaai.org). All rights reserved.

R. Grimm and P. Ochsenschläger.
Binding Cooperation. A Formal Model for Electronic Commerce (BibTeX).
GMD Report 96, 2000.

P. Ochsenschläger, J. Repp, and R. Rieke.
The SH-Verification Tool (BibTeX).
In Proc. 13th International Florida Artificial Intelligence Research Society Conference (FLAIRS-2000), pages 18-22, Orlando, FL, USA, May 2000. AAAI Press.
Copyright: ©2000, American Association for Artificial Intelligence (www.aaai.org). All rights reserved.

S. Gürgens and R. Peralta.
Validation of Cryptographic Protocols by Efficient Automated Testing (BibTeX).
In FLAIRS2000, pages 7-12. AAAI Press, May 2000.
Copyright: ©2000, American Association for Artificial Intelligence (www.aaai.org). All rights reserved.

P. Ochsenschläger, J. Repp, and R. Rieke.
Verification of Cooperating Systems - An Approach Based on Formal Languages (BibTeX).
In Proc. 13th International Florida Artificial Intelligence Research Society Conference (FLAIRS-2000), pages 346-350, Orlando, FL, USA, May 2000. AAAI Press.
Copyright: ©2000, American Association for Artificial Intelligence (www.aaai.org). All rights reserved.

1999

S. Gürgens, J. Lopez, and R. Peralta.
Efficient Detection of Failure Modes in Electronic Commerce Protocols (BibTeX).
In DEXA '99 10th International Workshop on Database and Expert Systems Applications, pages 850-857. IEEE Computer Society, 1999.
Copyright: ©1999, IEEE.

P. Ochsenschläger, J. Repp, R. Rieke, and U. Nitsche.
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems (BibTeX).
Formal Aspects of Computing, The International Journal of Formal Method, 11:1-24, 1999.

R. Grimm and P. Ochsenschläger.
Verbindliche Telekooperation. Ein Modell für Electronic Commerce auf Basis formaler Sprachen (BibTeX).
In Röhm, Fox, Grimm, and Schoder, editors, Sicherheit und Electronic Commerce, DuD-Fachbeiträge, pages 1-14, Braunschweig, Wiesbaden, 1999. Vieweg.

1998

S. Gürgens and Peralta R.
Efficient Automated Testing of Cryptographic Protocols (BibTeX).
Technical report, GMD German National Research Center for Information Technology, 1998.

1997

F. Nießner, U. Nitsche, and P. Ochsenschläger.
Deterministic Omega-Regular Liveness Properties (BibTeX).
In Proceedings of the 3rd International Conference on Developments in Language Theory (DLT97), pages 237-247. Aristotle University of Thessaloniki, 1997.

S. Gürgens.
SG Logic - A formal analysis technique for authentication protocols (BibTeX).
In Security Protocols, volume 1316 of LNCS, pages 159 - 176. Springer Verlag, April 1997.

P. Ochsenschläger.
Schlichte Homomorphismen auf präfixstabilen partiell kommutativen Sprachen (BibTeX).
Arbeitspapiere der GMD 1106, GMD - Forschungszentrum Informationstechnik, Darmstadt, 1997.

1996

S. Gürgens.
A formal analysis technique for authentication protocols (BibTeX).
In Proceedings of the 1st International Conference on the Theory and Applications of Cryptology, PRAGOCRYPT '96, pages 306-323. CTU Publishing House, 1996.

U. Nitsche and P. Ochsenschläger.
Approximately Satisfied Properties of Systems and Simple Language Homomorphisms (BibTeX).
Information Processing Letters, 60:201-206, 1996.
enlarged version.

C. Capellmann, R. Demant, R. Galvez-Estrada, U. Nitsche, and P. Ochsenschläger.
Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction (BibTeX).
In Tiziana Margaria, editor, Proceedings of International Workshop on Advanced Intelligent Networks'96, pages 71-90, Passau, March 1996.

P. Ochsenschläger.
Kooperationsprodukte formaler Sprachen und schlichte Homomorphismen (BibTeX).
Arbeitspapier 1029, Institut für Telekooperation der GMD, 1996.

C. Capellmann, R. Demant, F. Fatahi, R. Galvez-Estrada, U. Nitsche, and P. Ochsenschläger.
Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks (BibTeX).
In Computer Aided Verification (CAV) '96, volume 1102 of Lecture Notes in Computer Science, pages 466-469, New Brunswick, 1996.

1995

U. Nitsche and P. Ochsenschläger.
Approximately Satisfied Properties of Systems and Simple Language Homomorphisms (BibTeX).
Arbeitspapiere der GMD 965, GMD - Forschungszentrum Informationstechnik, Darmstadt, December 1995.

P. Ochsenschläger.
Compositional Verification of Cooperating Systems Using Simple Homomorphisms (BibTeX).
In J. Desel, H. Fleischhack, A. Oberweis, and M. Sonnenschein, editors, Workshop: Algorithmen und Werkzeuge für Petrinetze, pages 8-13. Universität Oldenburg, 1995.

P. Ochsenschläger and R. Prinoth.
Modellierung verteilter Systeme (BibTeX).
Vieweg, 1995.
ISBN 3-528-5433-6.

1994

P. Ochsenschläger.
Verification of Cooperating Systems by Simple Homomorphisms Using the Product Net Machine (BibTeX).
In J. Desel, A. Oberweis, and W. Reisig, editors, Workshop: Algorithmen und Werkzeuge für Petrinetze, pages 48-53. Humboldt Universität Berlin, 1994.

1992

P. Ochsenschläger.
Verifikation kooperierender Systeme mittels schlichter Homomorphismen (BibTeX).
Arbeitspapiere der GMD 688, Gesellschaft für Mathematik und Datenverarbeitung (GMD), Darmstadt, Oktober 1992.

1989

H. J. Burkhardt, P. Ochsenschläger, and R. Prinoth.
Product Nets - A Formal Description Technique for Cooperating Systems (BibTeX).
GMD-Studien 165, Gesellschaft für Mathematik und Datenverarbeitung (GMD), Darmstadt, September 1989.

For feedback use SEN Home Page - Editorial Notes