550 search results - page 27 / 110 » A lightweight approach to state based security testing |
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
ASPLOS
2012
ACM
13 years 5 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
ISPA
2005
Springer
15 years 3 months ago
2005
Springer
：Wireless Sensor and Actor Networks (WSANs) consist of three types of nodes with different capabilities and functions. Because of these heterogeneities, current network security ...
87
Voted
ENTCS
2008
14 years 9 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...