178 search results - page 12 / 36 » A Formal Model for Network-Wide Security Analysis |
SOCO
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
ASIACRYPT
2006
Springer
14 years 14 days ago
2006
Springer
Understanding what construction strategy has a chance to be a good hash function is extremely important nowadays. In TCC'04, Maurer et al. [13] introduced the notion of indiff...
ITRUST
2005
Springer
14 years 2 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
CSFW
2004
IEEE
14 years 14 days ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
ASE
2007
13 years 8 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...