default search action

combined dblp search
author search
venue search
publication search

ask others

Karsten Sohr

> Home > Persons

Person information

affiliation: University of Bremen, Center for Computing Technologies (TZI), Germany
affiliation: University of Marburg, Department of Mathematics and Computer Science, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/Rubio-MedranoKW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/Rubio-MedranoKW24
Carlos E. Rubio-Medrano, Akash Kotak, Wenlu Wang, Karsten Sohr:
Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications. SACMAT 2024
2023
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/dud/BahriniMSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dud/BahriniMSM23
Mehrdad Bahrini, Thomas Münder, Karsten Sohr, Rainer Malaka:
Verständliche Informationssicherheit in Smarthome-Netzen. Datenschutz und Datensicherheit (dud) 47(6): 350-353 (2023)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/HutherSBRE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/HutherSBRE23
Lorenz Hüther, Karsten Sohr, Bernhard J. Berger, Hendrik Rothe, Stefan Edelkamp:
Machine Learning for SAST: A Lightweight and Adaptable Approach. ESORICS (4) 2023: 85-104
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fps/ObrezkovS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fps/ObrezkovS23
Denis Obrezkov, Karsten Sohr:
UCAT: The Uniform Categorization for Access Control. FPS (2) 2023: 3-14
2022
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/mc/ObrezkovSM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mc/ObrezkovSM22
Denis Obrezkov, Karsten Sohr, Rainer Malaka:
"Do Metaphors Influence the Usability of Access Control?": A Gamified Survey. MuC 2022: 472-476
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/nordichi/BahriniZWKSM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordichi/BahriniZWKSM22
Mehrdad Bahrini, Nima Zargham, Alexander Wolff, Dennis-Kenji Kipker, Karsten Sohr, Rainer Malaka:
It's Long and Complicated! Enhancing One-Pager Privacy Policies in Smart Home Applications. NordiCHI 2022: 73:1-73:13
2021
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/dud/ReichmannEBKMSB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dud/ReichmannEBKMSB21
Henrik Reichmann, Malte Elson, Nele Borgert, Dennis-Kenji Kipker, Rainer Malaka, Karsten Sohr, Mehrdad Bahrini:
Erfahrbarer Datenschutz und IT-Sicherheit in Smart Home-Anwendungen. Datenschutz und Datensicherheit 45(4): 259-264 (2021)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/NguempnangBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/NguempnangBS21
Rodrigue Wete Nguempnang, Bernhard J. Berger, Karsten Sohr:
[Engineering] eNYPD - Entry Points Detector Jakarta Server Faces Use Case. SCAM 2021: 30-35
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/trustbus/ObrezkovSM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustbus/ObrezkovSM21
Denis Obrezkov, Karsten Sohr, Rainer Malaka:
A Category-Based Framework for Privacy-Aware Collaborative Access Control. TrustBus 2021: 126-139
2020
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/dud/KusS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dud/KusS20
Mehmet Kus, Karsten Sohr:
Praktische Erfahrungen und Ansätze für âSecurity by Design' auf Basis der STRIDE-Methodik. Datenschutz und Datensicherheit 44(11): 750-754 (2020)
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/MaederSNMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/MaederSNMM20
Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller:
Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL. J. Object Technol. 19(3): 3:1-14 (2020)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/BunkeS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/BunkeS20
Michaela Bunke, Karsten Sohr:
Towards supporting software assurance assessments by detecting security patterns. Softw. Qual. J. 28(4): 1711-1753 (2020)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/chiplay/BahriniZPLSM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chiplay/BahriniZPLSM20
Mehrdad Bahrini, Nima Zargham, Johannes Pfau, Stella Lemke, Karsten Sohr, Rainer Malaka:
Good vs. Evil: Investigating the Effect of Game Premise in a Smart Home Security Educational Game. CHI PLAY (Companion) 2020: 182-187
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/iwec/BahriniZPLSM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwec/BahriniZPLSM20
Mehrdad Bahrini, Nima Zargham, Johannes Pfau, Stella Lemke, Karsten Sohr, Rainer Malaka:
Enhancing Game-Based Learning Through Infographics in the Context of Smart Home Security. ICEC 2020: 18-36
[c38]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/modellierung/SchusterGHGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modellierung/SchusterGHGS20
Marcel Schuster, Markus Germeier, Frank Hilken, Martin Gogolla, Karsten Sohr:
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. Modellierung 2020: 157-172
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BergerNSK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BergerNSK20
Bernhard J. Berger, Rodrigue Wete Nguempnang, Karsten Sohr, Rainer Koschke:
Static Extraction of Enforced Authorization Policies SeeAuthz. SCAM 2020: 187-197

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/BahriniWMSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/BahriniWMSM19
Mehrdad Bahrini, Nina Wenig, Marcel Meissner, Karsten Sohr, Rainer Malaka:
HappyPermi: Presenting Critical Data Flows in Mobile Application to Raise User Security Awareness. CHI Extended Abstracts 2019
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/chiplay/ZarghamBVWSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chiplay/ZarghamBVWSM19
Nima Zargham, Mehrdad Bahrini, Georg Volkmar, Dirk Wenig, Karsten Sohr, Rainer Malaka:
What Could Go Wrong?: Raising Mobile Privacy and Security Awareness Through a Decision-Making Game. CHI PLAY (Companion) 2019: 805-812
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/mc/BahriniVSWSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mc/BahriniVSWSM19
Mehrdad Bahrini, Georg Volkmar, Jonas Schmutte, Nina Wenig, Karsten Sohr, Rainer Malaka:
Make my Phone Secure!: Using Gamification for Mobile Security Settings. MuC 2019: 299-308
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/BergerMNSR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/BergerMNSR19
Bernhard J. Berger, Christian Maeder, Rodrigue Wete Nguempnang, Karsten Sohr, Carlos E. Rubio-Medrano:
Towards Effective Verification of Multi-Model Access Control Properties. SACMAT 2019: 149-160
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/BergerSK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/BergerSK19
Bernhard J. Berger, Karsten Sohr, Rainer Koschke:
The Architectural Security Tool Suite - ARCHSEC. SCAM 2019: 250-255
2016
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/essos/BergerSK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/essos/BergerSK16
Bernhard J. Berger, Karsten Sohr, Rainer Koschke:
Automatically Extracting Threats from Extended Data Flow Diagrams. ESSoS 2016: 56-71
[c30]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/HilkenSSG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HilkenSSG16
Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla:
Integrating UML/OCL Derived Properties into Validation and Verification Processes. OCL@MoDELS 2016: 89-104
2015
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eetcc/Rubio-MedranoAS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eetcc/Rubio-MedranoAS15
Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr:
Achieving Security Assurance with Assertion-based Application Construction. EAI Endorsed Trans. Collab. Comput. 1(6): e3 (2015)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/MustafaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/MustafaS15
Tanveer Mustafa, Karsten Sohr:
Understanding the implemented access control policy of Android system services with slicing and extended static checking. Int. J. Inf. Sec. 14(4): 347-366 (2015)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/essos/HamannSG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/essos/HamannSG15
Lars Hamann, Karsten Sohr, Martin Gogolla:
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study. ESSoS 2015: 211-226
2014
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/colcom/Rubio-MedranoAS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/colcom/Rubio-MedranoAS14
Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr:
Achieving security assurance with assertion-based application construction. CollaborateCom 2014: 503-510
[c27]
- view
- export record
  dblp key:
  - conf/sicherheit/BartschBBBHKMSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sicherheit/BartschBBBHKMSV14
Steffen Bartsch, Bernhard J. Berger, Eric Bodden, Achim D. Brucker, Jens Heider, Mehmet Kus, Sönke Maseberg, Karsten Sohr, Melanie Volkamer:
Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen. Sicherheit 2014: 283-291
2013
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/KuhlmannSG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/KuhlmannSG13
Mirco Kuhlmann, Karsten Sohr, Martin Gogolla:
Employing UML and OCL for designing and analysing role-based access control. Math. Struct. Comput. Sci. 23(4): 796-833 (2013)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/BartschBBS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/BartschBBS13
Steffen Bartsch, Bernhard J. Berger, Michaela Bunke, Karsten Sohr:
The Transitivity-of-Trust Problem in Android Application Interaction. ARES 2013: 291-296
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Rubio-MedranoAS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Rubio-MedranoAS13
Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr:
Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned. COMPSAC 2013: 21-26
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/csmr/BergerSK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csmr/BergerSK13
Bernhard J. Berger, Karsten Sohr, Rainer Koschke:
Extracting and Analyzing the Implemented Security Architecture of Business Applications. CSMR 2013: 285-294
[c23]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/HofrichterGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HofrichterGS13
Oliver Hofrichter, Martin Gogolla, Karsten Sohr:
UML/OCL based Design and Analysis of Role-Based Access Control Policies. GEMOC+AMINO@MoDELS 2013: 33-42
2012
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/SohrKGHA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/SohrKGHA12
Karsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn:
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL. Inf. Softw. Technol. 54(12): 1396-1417 (2012)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/BirkholzSSB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/BirkholzSSB12
Henk Birkholz, Ingo Sieverdingbeck, Karsten Sohr, Carsten Bormann:
IO: An Interconnected Asset Ontology in Support of Risk Management Processes. ARES 2012: 534-541
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sec/BergerS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sec/BergerS12
Bernhard J. Berger, Karsten Sohr:
An Approach to Detecting Inter-Session Data Flow Induced by Object Pooling. SEC 2012: 25-36
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1204-1458
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-1458
Steffen Bartsch, Karsten Sohr, Michaela Bunke, Oliver Hofrichter, Bernhard J. Berger:
The Transitivity of Trust Problem in the Interaction of Android Applications. CoRR abs/1204.1458 (2012)
2011
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/dud/BirkholzESS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dud/BirkholzESS11
Henk Birkholz, Carsten Elfers, Bernd Samjeske, Karsten Sohr:
Unternehmensübergreifender Austausch von sicherheitsrelevantem Wissen. Datenschutz und Datensicherheit 35(4): 258-261 (2011)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/essos/BunkeS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/essos/BunkeS11
Michaela Bunke, Karsten Sohr:
An Architecture-Centric Approach to Detecting Security Patterns in Software. ESSoS 2011: 156-166
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/SohrMN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/SohrMN11
Karsten Sohr, Tanveer Mustafa, Adrian Nowak:
Software security aspects of Java-based mobile phones. SAC 2011: 1494-1501
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/KuhlmannSG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/KuhlmannSG11
Mirco Kuhlmann, Karsten Sohr, Martin Gogolla:
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. SSIRI 2011: 108-117
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/BergerBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/BergerBS11
Bernhard J. Berger, Michaela Bunke, Karsten Sohr:
An Android Security Case Study with Bauhaus. WCRE 2011: 179-183
2010
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/essos/SohrB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/essos/SohrB10
Karsten Sohr, Bernhard J. Berger:
Idea: Towards Architecture-Centric Security Analysis of Software. ESSoS 2010: 70-78
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/euc/KuntzeRDSSMD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euc/KuntzeRDSSMD10
Nicolai Kuntze, Roland Rieke, Günther Diederich, Richard Sethmann, Karsten Sohr, Tanveer Mustafa, Kai-Oliver Detken:
Secure Mobile Business Information Processing. EUC 2010: 672-678
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MustafaDS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MustafaDS10
Tanveer Mustafa, Michael Drouineaud, Karsten Sohr:
Towards formal specification and verification of a role-based authorization engine using JML. SESS@ICSE 2010: 50-57
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ideal/ElfersHSH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ideal/ElfersHSH10
Carsten Elfers, Mirko Horstmann, Karsten Sohr, Otthein Herzog:
Typed Linear Chain Conditional Random Fields and Their Application to Intrusion Detection. IDEAL 2010: 13-20
[c12]
- view
- export record
  dblp key:
  - conf/perspeGKtive/RittmeierS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/perspeGKtive/RittmeierS10
Raffael Rittmeier, Karsten Sohr:
Grundzüge eines Sicherheitskonzeptes für Arztpraxen mit Hilfe von Attack Trees und unter Berücksichtigung der Gesundheitstelematik. perspeGKtive 2010: 113-119

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MustafaSDDK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MustafaSDDK08
Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, Stefan Kowski:
Implementing Advanced RBAC Administration Functionality with USE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tkde/SohrDAG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tkde/SohrDAG08
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla:
Analyzing and Managing Role-Based Access Control Policies. IEEE Trans. Knowl. Data Eng. 20(7): 924-939 (2008)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/SohrMBA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/SohrMBA08
Karsten Sohr, Tanveer Mustafa, Xinyu Bao, Gail-Joon Ahn:
Enforcing Role-Based Access Control Policies in Web Services with UML and OCL. ACSAC 2008: 257-266
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/colcom/BartschSB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/colcom/BartschSB08
Steffen Bartsch, Karsten Sohr, Carsten Bormann:
Supporting Agile Development of Authorization Rules for SME Applications. CollaborateCom 2008: 461-471
2007
[c9]
- view
  - electronic edition @ gi.de
  - details & citations
- export record
  dblp key:
  - conf/mc/KusLRSSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mc/KusLRSSW07
Mehmet Kus, Michael Lawo, Marc Ronthaler, Richard Sethmann, Karsten Sohr, Katja Wind:
Angepasste Benutzerschnittstellen für das Wearable Computing im Projekt SiWear. MuC (Workshopband) 2007: 133-136
2006
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/SchaadLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/SchaadLS06
Andreas Schaad, Volkmar Lotz, Karsten Sohr:
A model-checking approach to analysing organisational controls in a loan origination process. SACMAT 2006: 139-149
2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/SohrAM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/SohrAM05
Karsten Sohr, Gail-Joon Ahn, Lars Migge:
Articulating and enforcing authorisation policies with UML and OCL. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005)
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/SohrAGM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/SohrAGM05
Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge:
Specification and Validation of Authorisation Constraints Using UML and OCL. ESORICS 2005: 64-79
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SohrAM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SohrAM05
Karsten Sohr, Gail-Joon Ahn, Lars Migge:
Articulating and enforcing authorisation policies with UML and OCL. SESS@ICSE 2005: 1-7
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/SohrDA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/SohrDA05
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn:
Formal specification of role-based security policies for clinical information systems. SAC 2005: 332-339
2004
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/DrouineaudBTS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/DrouineaudBTS04
Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr:
A First Step Towards Formal Verification of Security Policy Properties for RBAC. QSIC 2004: 60-67
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/time/MossakowskiDS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/MossakowskiDS03
Till Mossakowski, Michael Drouineaud, Karsten Sohr:
A temporal-logic extension of role-based access control covering dynamic separation of duties. TIME 2003: 83-90
2001
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Sohr2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Sohr2001
Karsten Sohr:
Die Sicherheitsaspekte von mobilem Code. University of Marburg, Germany, 2001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iics/DeterS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iics/DeterS01
Steffen Deter, Karsten Sohr:
Pini - A Jini-Like Plug&Play Technology for the KVM/CLDC. IICS 2001: 53-66

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/jit/Sohr99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jit/Sohr99
Karsten Sohr:
Nicht verifizierter Code: Eine neue Sicherheitslücke in Java. Java-Informations-Tage 1999: 171-181

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.