4305 search results - page 51 / 861 » Analysing Protocol Implementations |
DELTA
2008
IEEE
14 years 3 months ago
2008
IEEE
The classic connected components labelling algorithm requires two passes through an image. This paper presents an algorithm that allows the connected components to be analysed in ...
SSS
2009
Springer
14 years 3 months ago
2009
Springer
We describe an approach to the analysis of protocols for wireless sensor networks in scenarios with mobile nodes and dynamic link quality. The approach is based on the theorem prov...
DAGSTUHL
2003
13 years 10 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
IFIP
2009
Springer
13 years 6 months ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
ISPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
The support on cluster environments of ”legacy protocols” is important to avoid rewriting the code of applications, but this support should not prevent to achieve the maximum ...