894 search results - page 73 / 179 » Secure Implementation of Channel Abstractions |
SP
1999
IEEE
15 years 2 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
SPW
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We implement and demonstrate a passive attack on the Bluetooth authentication protocol used to connect two devices to each other. Using a protocol analyzer and a brute-fo...
RAID
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Injection vulnerabilities pose a major threat to applicationlevel security. Some of the more common types are SQL injection, crosssite scripting and shell injection vulne...
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
100
click to vote
CRYPTO
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. The paradigms currently used to realize symmetric encryption schemes secure against adaptive chosen ciphertext attack (CCA) try to make it infeasible for an attacker to f...