30 search results - page 4 / 6 » A Graph Game Model for Software Tamper Protection |
174
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
167
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
154
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
173
Voted
SACMAT
2004
ACM
15 years 11 months ago
2004
ACM
In order to provide a general access control methodology for parts of XML documents, we propose combining rolebased access control as found in the Role Graph Model, with a methodo...
270
click to vote
EICS
2011
ACM
14 years 9 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...