2358 search results - page 290 / 472 » A Secure Pervasive Environment |
248
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
The Hadoop filesystem is a large scale distributed filesystem used to manage and quickly process extremely large data sets. We want to utilize Hadoop to assist with dataintensive ...
246
click to vote
ISSE
2011
15 years 1 months ago
2011
Application developers utilizing event-based middleware have sought to leverage domain-specific modeling for the advantages of intuitive specification, code synthesis, and suppo...
169
click to vote
FSE
2009
Springer
16 years 7 months ago
2009
Springer
Message Authentication Codes (MACs) are core algorithms deployed in virtually every security protocol in common usage. In these protocols, the integrity and authenticity of messag...
194
click to vote
CSFW
2006
IEEE
16 years 20 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
154
click to vote
ISCA
2005
IEEE
16 years 5 days ago
2005
IEEE
We propose “secret-protected (SP)” architecture to enable secure and convenient protection of critical secrets for a given user in an on-line environment. Keys are examples of...