BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
C.Basile A.Lioy S.Zhao D.Canavese
Talks about:
reconcili (1) reachabl (1) analysi (1) polici (1) improv (1) formal (1) secur (1) model (1) manag (1)

Person: Christian Pitscheider

DBLP DBLP: Pitscheider:Christian

Contributed to:

PDP 20152015
PDP 20132013

Wrote 2 papers:

PDP-2015-BasileLPZ #formal method #policy
A Formal Model of Policy Reconciliation (CB, AL, CP, SZ), pp. 587–594.
PDP-2013-BasileCLP #analysis #reachability #security
Improved Reachability Analysis for Security Management (CB, DC, AL, CP), pp. 534–541.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.