1183 search results - page 74 / 237 » On flow-sensitive security types |
121
Voted
HICSS
2010
IEEE
15 years 9 months ago
2010
IEEE
While many theoretical arguments against or in favor of open source and closed source software development have been presented, the empirical basis for the assessment of arguments...
116
Voted
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
129
click to vote
FPL
2008
Springer
15 years 6 months ago
2008
Springer
Today, quasi-Monte Carlo (QMC) methods are widely used in finance to price derivative securities. The QMC approach is popular because for many types of derivatives it yields an es...
176
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
The fastest known algorithm for solving General Bayesian Stackelberg games with a finite set of follower (adversary) types have seen direct practical use at the LAX airport for o...
130
Voted
IACR
2011
14 years 4 months ago
2011
— Both broadcast encryption (BE) protocols and multicast key distribution (MKD) protocols try to solve the same problem of private group communication. For the first time, we dis...