3003 search results - page 190 / 601 » Software Security: Building Security In |
153
click to vote
ISW
2001
Springer
15 years 11 months ago
2001
Springer
This paper proposes a cryptographic mechanism for metering the duration and/or the number of instances of running a data process. This mechanism has the following property: knowing...
242
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
194
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Field-Programmable Gate Arrays (FPGAs) have lately become a popular target for implementing cryptographic block ciphers, as a well-designed FPGA solution can combine some...
195
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
157
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...