13 search results - page 2 / 3 » compsec 2010 |
COMPSEC
2010
13 years 2 months ago
2010
COMPSEC
2010
13 years 4 months ago
2010
Abstract A Secret Handshake is a protocol that allows two users to mutually verify one another’s properties, and in case of simultaneous matching, to share a key used to secure s...
COMPSEC
2010
13 years 2 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
COMPSEC
2010
13 years 3 months ago
2010
In this paper we address the problem of reducing the role mining complexity in RBAC systems. To this aim, we propose a three steps methodology: first, we associate a weight to rol...
COMPSEC
2010
13 years 5 months ago
2010
Abstract Advanced mobile devices such as laptops and smartphones make convenient hiding places for surveillance spyware. They commonly have a microphone and camera built-in, are in...