718 search results - page 119 / 144 » Security protocols, properties, and their monitoring |
125
click to vote
MOBISYS
2008
ACM
16 years 1 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...
157
click to vote
BPSC
2009
15 years 3 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
96
Voted
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
121
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
135
click to vote
SACMAT
2010
ACM
15 years 6 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...