674 search results - page 91 / 135 » Using Abuse Case Models for Security Requirements Analysis |
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
SP
2008
IEEE
14 years 3 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
MOC
2010
13 years 3 months ago
2010
The coupling of local discontinuous Galerkin (LDG) and boundary element methods (BEM), which has been developed recently to solve linear and nonlinear exterior transmission proble...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
PASTE
2010
ACM
14 years 2 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...