3420 search results - page 190 / 684 » A Language-Based Approach to Security |
147
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
Signcryption is a new cryptographic primitive that performs signing and encryption simultaneously, at a cost significantly lower than that required by the traditional signature-th...
143
click to vote
NDSS
2003
IEEE
15 years 9 months ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
118
click to vote
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
Internet systems provide a variety of ways to exchange information, contain large amounts and variety of data, and have become quite complex, making them vulnerable to attacks fro...
159
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
147
click to vote
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...