1875 search results - page 52 / 375 » Modeling the Security of Steganographic Systems |
PERCOM
2004
ACM
14 years 10 months ago
2004
ACM
We explore the challenges and research directions in building models, protocols and architectures to support security in pervasive computing environments. We argue that to be succ...
CCS
2005
ACM
14 years 4 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
SACMAT
2009
ACM
14 years 5 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
ESORICS
2012
Springer
12 years 1 months ago
2012
Springer
In certain applications, it is important for a remote server to securely determine whether or not two mobile devices are in close physical proximity. In particular, in the context ...
ASPDAC
2005
ACM
14 years 29 days ago
2005
ACM
— The customization of architectures in designing the security processor-based systems typically involves timeconsuming simulation and sophisticated analysis in the exploration o...