624 search results - page 59 / 125 » Application of Lightweight Formal Methods to Software Securi... |
101
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Network management and security is currently one of the most vibrant research areas, among which, research on detecting and identifying anomalies has attracted a lot of interest. R...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a method for dynamic security domain scaling on SMPs that offers both highly scalable performance and high security for future high-end embedded systems. Its most impor...
FM
2005
Springer
15 years 5 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
TAP
2009
Springer
15 years 6 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...