8623 search results - page 159 / 1725 » Software engineering for secure systems |
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
FSTTCS
2009
Springer
14 years 3 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
CSREAEEE
2006
13 years 10 months ago
2006
The business world has been reinventing the human. Employee participative transition projects for management strategies are becoming more important in IT organizations day by day....
ISMVL
2010
IEEE
14 years 2 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
ASPLOS
2008
ACM
13 years 11 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...