2979 search results - page 307 / 596 » Modelling secure multiagent systems |
128
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
133
click to vote
ASIACRYPT
2001
Springer
15 years 9 months ago
2001
Springer
Within the security architecture of the 3GPP system there is a standardised encryption mode f8 based on the block cipher KASUMI. In this work we examine the pseudorandomness of the...
159
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
126
click to vote
EUROSEC
2009
ACM
15 years 11 months ago
2009
ACM
In this paper a new approach to API remoting for GPU virtualisation is described which aims to reduce the amount of trusted code involved in 3D rendering for guest VMs. To achieve...
118
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Many real-world applications use credentials such as passwords as means of user authentication. When accessed from untrusted public terminals, such applications are vulnerable to ...