Author image not provided
 Vincent Jugé

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article5.67
Citation Count17
Publication count3
Publication years2012-2017
Available for download1
Average downloads per article750.00
Downloads (cumulative)750
Downloads (12 Months)84
Downloads (6 Weeks)8
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


3 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 3 of 3
Sort by:

1
April 2017 Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 10203
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of Dyck reachability problems in directed and undirected graphs, where updates may add or delete edges. We show a strong dichotomy between such problems, based on the size ...

2 published by ACM
June 2013 ACM Transactions on Information and System Security (TISSEC): Volume 16 Issue 1, June 2013
Publisher: ACM
Bibliometrics:
Citation Count: 8
Downloads (6 Weeks): 12,   Downloads (12 Months): 81,   Downloads (Overall): 704

Full text available: PDFPDF
We revisit Schneider’s work on policy enforcement by execution monitoring. We overcome limitations of Schneider’s setting by distinguishing between system actions that are controllable by an enforcement mechanism and those actions that are only observable, that is, the enforcement mechanism sees them but cannot prevent their execution. For this refined ...
Keywords: temporal logic, Automata, safety properties, monitoring, security policies

3
March 2012 POST'12: Proceedings of the First international conference on Principles of Security and Trust
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 6

We revisit Schneider's work on policy enforcement by execution monitoring. We overcome limitations of Schneider's setting by distinguishing between system actions that are controllable by an enforcement mechanism and those actions that are only observable, that is, the enforcement mechanism cannot prevent their execution. For this refined setting, we give ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us