|
|||||||||||
|
ETH Zürich
Phone: +41 44 632 73 57 |
The original spelling of my name, unfortunately, contains a non-latin character.
Which is sometimes transcribed as "dj" and sometimes as "d". Therein lies the confusion.
I should mention that the DBLP entry is under "Srdjan Marinovic".
I have joined the Information Security group at ETH in November 2011,
and have been immersed into two research projects/areas:
(1) Runtime verification of security compliance;
and (2) Specification and analysis of non-monotonic access control policies.
Before coming to ETH, I read for my PhD at Imperial College London,
under the supervision of Dr Naranker Dulay and Professor Morris Sloman.
The focus of my PhD was a break-glass access control model that
represents and reasons with missing, faulty, and inconsistent information.
For this model, I developed a novel logic programming language whose
semantics are based on bilattice many-valued truth-spaces.
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information