5843 search results - page 303 / 1169 » Software Security in Practice |
137
click to vote
SAS
2005
Springer
15 years 11 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
191
click to vote
FC
2003
Springer
15 years 11 months ago
2003
Springer
Combinatorial auctions have recently attracted the interest of many researchers due to their promising applications such as the spectrum auctions recently held by the FCC. In a com...
138
click to vote
FSE
1999
Springer
15 years 10 months ago
1999
Springer
The DES has reached the end of its lifetime due to its too short key length and block length (56 and 64 bits respectively). As we are awaiting the new AES, triple (and double) encr...
157
click to vote
COMCOM
1999
15 years 5 months ago
1999
Dispute of transactions is a common problem that could jeopardise business. Hence non-repudiation services are essential in business transactions which provide evidence to enable ...
177
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We apply internal perturbation [3] to the matrix-type cryptosystems [Cn] and HM constructed in [9]. Using small instances of these variants, we investigate the existence ...