2236 search results - page 133 / 448 » Secure Software Design in Practice |
108
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
191
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
167
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
114
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, we present the power estimation methodologies for the development of a low-power security processor that contains significant amount of logic and memory. For the lo...
126
click to vote
NSPW
2003
ACM
15 years 9 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...