274 search results - page 52 / 55 » Formal procedural security modeling and analysis |
LATINCRYPT
2010
13 years 6 months ago
2010
the full version of the extended abstract which appears in Latincrypt '10 (august 8-11, 2010, Puebla, Mexico) M. Abdalla and P. Barreto Eds., Springer-Verlag, LNCS 6212, pages...
AIPS
2003
13 years 9 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
MA
2010
Springer
13 years 6 months ago
2010
Springer
We characterize the angular polyspectra, of arbitrary order, associated with isotropic fields defined on the sphere S2 = (x, y, z) : x2 + y2 + z2 = 1 . Our techniques rely heavi...
ANSS
2003
IEEE
14 years 1 months ago
2003
IEEE
The main goal of the NETSEC project is to design and implement a framework for mitigating the effects of the node-based and link-based DoS attacks. Our strategy employs three lin...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...