Sciweavers

3907 search results - page 26 / 782
» Time, Knowledge, and Choice
Sort
View
KR
2010
Springer
13 years 11 months ago
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
Francesco Belardinelli, Alessio Lomuscio
ICISS
2007
Springer
13 years 11 months ago
A Zero Knowledge Password Proof Mutual Authentication Technique Against Real-Time Phishing Attacks
Phishing attack is a kind of identity theft trying to steal confidential data. Existing approaches against phishing attacks cannot prevent real-time phishing attacks. This paper pr...
Mohsen Sharifi, Alireza Saberi, Mojtaba Vahidi, Mo...