4731 search results - page 313 / 947 » Securing Interactive Programs |
213
Voted
ESEM
2010
ACM
15 years 5 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
233
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
223
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In a class of games known as Stackelberg games, one agent (the leader) must commit to a strategy that can be observed by the other agent (the follower or adversary) before the adv...
209
click to vote
JSS
2007
15 years 6 months ago
2007
We present the SEcure communicAtion Library (SEAL), a Linux-based C language application programming interface (API) library that implements secure group key agreement algorithms ...
212
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...