3688 search results - page 160 / 738 » Static analysis of aspects |
158
click to vote
ASIAN
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
146
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
165
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
151
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
152
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...