550 search results - page 34 / 110 » A lightweight approach to state based security testing |
VLSID
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The recent approach of a model-based framework for steganography fruitfully contributes to the discussion on the security of steganography. In addition, the first propos...
100
click to vote
SIGMOD
2004
ACM
15 years 9 months ago
2004
ACM
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
92
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Attacks on software systems are an increasingly serious problem from an economic and security standpoint. Many techniques have been proposed ranging from simple compiler modifi...