1395 search results - page 149 / 279 » Communication Security in Multi-agent Systems |
AVSS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a multi-view intelligent surveillance system used for the automatic tracking and monitoring of vehicles in a short-term parking lane. The system has the abilit...
IH
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
SACMAT
2004
ACM
14 years 2 months ago
2004
ACM
Emerging trust and risk management systems provide a framework for principals to determine whether they will exchange resources, without requiring a complete definition of their ...
IFIP
2005
Springer
14 years 2 months ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
SIGMETRICS
2008
ACM
13 years 9 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...