2009/01/01 by Valerio Genovese, Genovese, Valerio, Dov M. Gabbay +5
Social Sciences · Computer Science · #Access Control and Trust #Security and Verification in Computing #Advanced Malware Detection Techniques
paper · doi:10.4230/dagsemproc.09121.16
We develop a fibred security language capable to express statements of the form begincenter x varphi (x) says psi endcenter where xvarphi (x) is the set of all x that satisfy varphi and psi is any formula. varphi and psi may share several free variables. For example, we can express the following: "A member m of the Program Committee can not accept a paper P1 in which one of its authors says that he has published a paper with him after 2007" begincenter eg(m [PC(m) wedge yauthor_of(y,P1) extbf says exists p(paper(p) wedge author_of(m,p) wedge author_of(y,p) wedge year(p) geq 2007)] extbf says accept(P1)) endcenter