719 search results - page 116 / 144 » Proving Security Protocols Correct |
117
click to vote
PKDD
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Analysis of privacy-sensitive data in a multi-party environment often assumes that the parties are well-behaved and they abide by the protocols. Parties compute whatever ...
DSN
2005
IEEE
15 years 3 months ago
2005
IEEE
Fault-tolerant protocols, asynchronous and synchronous alike, make stationary fault assumptions: only a fraction f of the total n nodes may fail. Whilst a synchronous protocol is ...
MMMACNS
2005
Springer
15 years 3 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Recently, operators of public transportation in many countries started to roll out electronic tickets (e-tickets). E-tickets offer several advantages to transit enterpris...
SACMAT
2010
ACM
15 years 2 months ago
2010
ACM
Access to distributed databases containing tuples collected about mobile physical objects requires information about the objects’ trajectories. Existing access control models ca...