The SCEAS System
Navigation Menu

Search the dblp DataBase


Karsten Sohr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge
    Specification and Validation of Authorisation Constraints Using UML and OCL. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2005, pp:64-79 [Conf]
  2. Steffen Deter, Karsten Sohr
    Pini - A Jini-Like Plug&Play Technology for the KVM/CLDC. [Citation Graph (0, 0)][DBLP]
    IICS, 2001, pp:53-66 [Conf]
  3. Karsten Sohr
    Nicht verifizierter Code: Eine neue Sicherheitslücke in Java. [Citation Graph (0, 0)][DBLP]
    Java-Informations-Tage, 1999, pp:171-181 [Conf]
  4. Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr
    A First Step Towards Formal Verification of Security Policy Properties for RBAC. [Citation Graph (0, 0)][DBLP]
    QSIC, 2004, pp:60-67 [Conf]
  5. Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn
    Formal specification of role-based security policies for clinical information systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:332-339 [Conf]
  6. Andreas Schaad, Volkmar Lotz, Karsten Sohr
    A model-checking approach to analysing organisational controls in a loan origination process. [Citation Graph (0, 0)][DBLP]
    SACMAT, 2006, pp:139-149 [Conf]
  7. Till Mossakowski, Michael Drouineaud, Karsten Sohr
    A temporal-logic extension of role-based access control covering dynamic separation of duties. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:83-90 [Conf]

  8. Enforcing Role-Based Access Control Policies in Web Services with UML and OCL. [Citation Graph (, )][DBLP]

  9. Typed Linear Chain Conditional Random Fields and Their Application to Intrusion Detection. [Citation Graph (, )][DBLP]

  10. Supporting Agile Development of Authorization Rules for SME Applications. [Citation Graph (, )][DBLP]

  11. Idea: Towards Architecture-Centric Security Analysis of Software. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002