8644 search results - page 146 / 1729 » On the Composition of Secure Systems |
173
click to vote
FORTE
2004
15 years 8 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
195
click to vote
ESORICS
2012
Springer
13 years 9 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 ...
183
click to vote
MSWIM
2005
ACM
16 years 3 days ago
2005
ACM
Motivated by the tradeoff between security and efficiency performance parameters that has been imposed on all modern wireless security protocols, we designed a novel security syst...
315
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
The ever increasing size and complexity of Operating System (OS) kernel code bring an inevitable increase in the number of security vulnerabilities that can be exploited by attack...
141
click to vote
CCS
1994
ACM
15 years 10 months ago
1994
ACM
Computational e-mail systems, which allow mail messages to containcommandscripts that automaticallyexecute upon receipt, can be used as a basis for building a variety of collabora...