2927 search results - page 213 / 586 » Secure Distributed Human Computation |
105
Voted
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
114
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
Predicting the age of a person through face image analysis holds the potential to drive an extensive array of real world applications from human computer interaction and security ...
213
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
149
Voted
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
Policy-based messaging (PBM) aims at carrying security policies with messages, which will be enforced at recipient systems to provide security features. PBM promotes a distributed...
122
Voted
ICDCSW
2003
IEEE
15 years 8 months ago
2003
IEEE
Access control in existing Java-based mobile agents is mostly based on code source due to limitations of early Java security architecture. That is, authorization is based on where...