BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
A.Lioy M.Ceccato C.Pitscheider M.Vallini P.C.Pomi P.Scaglioso S.Zhao D.Canavese B.D.Sutter P.Falcarin Brecht Wyseur Jérôme d'Annoville Michael Zunke
Talks about:
softwar (3) protect (2) toward (2) polici (2) model (2) architectur (1) reconcili (1) techniqu (1) reachabl (1) proactiv (1)

Person: Cataldo Basile

DBLP DBLP: Basile:Cataldo

Contributed to:

PDP 20152015
ICPC 20132013
PDP 20132013
PDP 20102010
PDP 20082008
WICSA 20162016

Wrote 6 papers:

PDP-2015-BasileLPZ #formal method #policy
A Formal Model of Policy Reconciliation (CB, AL, CP, SZ), pp. 587–594.
ICPC-2013-BasileC #towards
Towards a unified software attack model to assess software protections (CB, MC), pp. 219–222.
PDP-2013-BasileCLP #analysis #reachability #security
Improved Reachability Analysis for Security Management (CB, DC, AL, CP), pp. 534–541.
PDP-2010-BasileLV #independence #policy #specification #towards
Towards a Network-Independent Policy Specification (CB, AL, MV), pp. 649–653.
PDP-2008-BasilePS #deployment #monitoring
Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC) (CB, PCP, PS), pp. 611–615.
WICSA-2016-SutterFWBCDZ #architecture
A Reference Architecture for Software Protection (BDS, PF, BW, CB, MC, Jd, MZ), pp. 291–294.

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.