5476 search results - page 98 / 1096 » Resettably Secure Computation |
116
click to vote
ICTAC
2009
Springer
15 years 10 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...
125
click to vote
JPDC
2006
15 years 3 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...
172
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...
143
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In most file systems, if a file is deleted, only the metadata of the file is deleted or modified and the file's data is still stored on the physical media. Some users require...
148
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Frequently, Security Monitoring is equated with network intrusion detection. However, Security Monitoring has a much broader scope. It also comprises detection of insider attacks...