274 search results - page 19 / 55 » Formal procedural security modeling and analysis |
CSFW
2004
IEEE
13 years 11 months 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...
ISTA
2004
13 years 9 months ago
2004
: The employment of a patchwork of nonintegrated security products can only provide incomplete coverage, which cannot give the total panorama of the network misuse behavior. Networ...
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...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
SIN
2009
ACM
14 years 2 months ago
2009
ACM
Security managers often regard human behaviour as a security liability, but they should accommodate it within their organisation’s information security management procedures. To...