6195 search results - page 905 / 1239 » Cloud Computing Security |
157
click to vote
ACSD
2003
IEEE
16 years 1 hour ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
152
click to vote
NSPW
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, we argue that person-to-person key distribution is best accomplished with a key-centric approach, instead of PKI: users should distribute public key fingerprints in...
197
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
Spyware represents a serious threat to confidentiality since it may result in loss of control over private data for computer users. This type of software might collect the data and...
194
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Massive amounts of raw data are currently being generated by biologists while sequencing organisms. Outside of the largest, high-pro le projects such as the Human Genome Project, ...
178
Voted
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we will discuss different types of control over synthetic characters in interactive stories. We will argue that, to attain a deeper and more engaging control, in ce...