10568 search results - page 416 / 2114 » Computer Intelligence and Formalization |
161
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
127
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
The informal information can be so intuitive, emotional, personal, honest and subjective that it is very difficult to get them from the formal media. In this paper, we demonstrate...
143
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
133
click to vote
COSIT
2001
Springer
15 years 9 months ago
2001
Springer
The development of cognitively plausible models of human spatial reasoning may ultimately result in computational systems that are better equipped to meet human needs. This paper e...
159
click to vote
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...