550 search results - page 30 / 110 » A lightweight approach to state based security testing |
MIDDLEWARE
2009
Springer
15 years 2 months ago
2009
Springer
Today’s distributed systems need runtime error detection to catch errors arising from software bugs, hardware errors, or unexpected operating conditions. A prominent class of err...
80
Voted
TASLP
2010
14 years 4 months ago
2010
We present an approach to music identification based on weighted finite-state transducers and Gaussian mixture models, inspired by techniques used in large-vocabulary speech recogn...
FORTE
2000
14 years 11 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
— The security of corporate business processes is crucial for the business success of companies. Existing Business Process Management methodologies barely consider security and d...
84
Voted
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...