554 search results - page 109 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
EATIS
2007
ACM
13 years 11 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
TON
2008
13 years 7 months ago
2008
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc netw...
AHSWN
2006
13 years 7 months ago
2006
ABSTRACT Intrusion Detection Systems (IDSs) for Mobile Ad hoc NETworks (MANETs) are indispensable since traditional intrusion prevention based techniques are not strong enough to p...
HPCC
2005
Springer
14 years 1 months ago
2005
Springer
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...