902 search results - page 131 / 181 » Security and Trust Requirements Engineering |
FSTTCS
2003
Springer
15 years 3 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
CCS
2009
ACM
15 years 10 months ago
2009
ACM
The man-in-the-middle (MITM) attack has been shown to be one of the most serious threats to the security and trust of existing VoIP protocols and systems. For example, the MITM wh...
130
click to vote
POPL
1998
ACM
15 years 2 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
PET
2010
Springer
15 years 1 months ago
2010
Springer
Web Search is one of the most rapidly growing applications on the internet today. However, the current practice followed by most search engines – of logging and analyzing users...
WEBDB
2009
Springer
15 years 4 months ago
2009
Springer
With the rise of cloud computing, it is increasingly attractive for end-users (organizations and individuals) to outsource the management of their data to a small number of larges...