4731 search results - page 200 / 947 » Securing Interactive Programs |
128
click to vote
NORDSEC
2009
Springer
15 years 8 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
112
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
127
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
93
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
As the amount of recoded TV content is increasing rapidly, people need active and interactive browsing methods. In this paper, we use both text information from closed captions an...
108
click to vote
AAAI
2007
15 years 4 months ago
2007
Developing scalable coordination algorithms for multi-agent systems is a hard computational challenge. One useful approach, demonstrated by the Coverage Set Algorithm (CSA), explo...