964 search results - page 131 / 193 » On Securely Scheduling a Meeting |
199
click to vote
HOTNETS
2010
15 years 1 months ago
2010
Abstract-- We argue that heterogeneity is hindering technological innovation in the home--homes differ in terms of their devices and how those devices are connected and used. To ab...
169
click to vote
ICDCS
2011
IEEE
14 years 6 months ago
2011
IEEE
— In the emerging cloud computing paradigm, data owners become increasingly motivated to outsource their complex data management systems from local sites to the commercial public...
151
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
154
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present the results of the experimental analysis of the transmission of voice over secure communication links implementing IPsec. Critical parameters characterizi...
204
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...