208 search results - page 37 / 42 » Automated Security Protocol Analysis With the AVISPA Tool |
102
Voted
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
SOSE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
PERCOM
2005
ACM
15 years 9 months ago
2005
ACM
In pervasive computing environments, service discovery facilitates users to access network services by automating tedious manual configurations. When network services becomes perv...
ISI
2008
Springer
14 years 9 months ago
2008
Springer
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...