329 search results - page 2 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
BMCBI
2004
13 years 5 months ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
DSOM
2006
Springer
13 years 9 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
APN
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
TELSYS
2002
13 years 4 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...