6861 search results - page 203 / 1373 » Security for Ubiquitous Computing |
119
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
128
click to vote
JPDC
2006
15 years 4 months ago
2006
We introduce Virtual Leashing,1 a new technique for software protection and control. The leashing process removes small fragments of code, pervasive throughout the application, an...
181
click to vote
IJNSEC
2008
15 years 4 months ago
2008
Most of the current security architectures for grid systems use conventional public key infrastructure (PKI) to authenticate grid members and to secure resource allocation to thes...
146
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
145
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...