COMPSEC
2010
13 years 8 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 8 months ago
2010
COMPSEC
2010
13 years 9 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 10 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 10 months ago
2010
Making backup is so cumbersome and expensive that individuals hardly ever backup their data and companies usually duplicate their data into a secondary server. This paper proposes...
COMPSEC
2010
13 years 11 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...
COMPSEC
2010
13 years 11 months ago
2010
COMPSEC
2010
13 years 11 months ago
2010
COMPSEC
2010
13 years 11 months ago
2010
COMPSEC
2010
13 years 11 months ago
2010
Many modern mobile devices, such as mobile phones or Personal Digital Assistants (PDAs), are able to run Java applications, such as games, Internet browsers, chat tools and so on....