1597 search results - page 29 / 320 » Mental Models of Computer Security |
117
Voted
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
152
click to vote
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
118
click to vote
CTRSA
2009
Springer
15 years 8 months ago
2009
Springer
In the setting of multiparty computation a set of parties with private inputs wish to compute some joint function of their inputs, whilst preserving certain security properties (l...
202
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Service providers like Google and Amazon are moving into the SaaS (Software as a Service) business. They turn their huge infrastructure into a cloud-computing environment and aggr...
105
click to vote
CN
2007
15 years 1 months ago
2007
In most network security analysis, researchers mainly focus on qualitative studies on security schemes and possible attacks, and there are few papers on quantitative analysis in t...