1757 search results - page 70 / 352 » Secure Content Validation |
155
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
120
Voted
VIZSEC
2004
Springer
15 years 8 months ago
2004
Springer
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...
127
click to vote
CHIMIT
2007
ACM
15 years 7 months ago
2007
ACM
End users are often cast as the weak link in computer security; they fall victim to social engineering and tend to know very little about security technology and policies. This pa...
133
click to vote
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
144
click to vote
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
Prolonged secure communication requires trust relationships that extend throughout a connection’s life cycle. Current tools to establish secure connections such as SSL/TLS and S...