3504 search results - page 466 / 701 » Secure protocol composition |
151
click to vote
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Anonymity is a security property of paramount importance, as we move steadily towards a wired, online community. Its import touches upon subjects as different as eGovernance, eBusi...
126
click to vote
ISI
2007
Springer
15 years 1 months ago
2007
Springer
ABSTRACT. Grids have become very complex. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from administrators. We believe that peer-t...
159
Voted
FORTE
2009
14 years 11 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
LOCWEB
2009
ACM
15 years 8 months ago
2009
ACM
Microsoft has proposed an identity metasystem to standardize identity services and the principles behind them. A location metasystem can support interoperation between location se...
IEEEIAS
2008
IEEE
15 years 8 months ago
2008
IEEE
The recent and massive deployment of Voice over IP infrastructures had raised the importance of the VoIP security and more precisely of the underlying signalisation protocol SIP. ...