292 search results - page 7 / 59 » Communication and Round Efficient Information Checking Proto... |
FORTE
2008
13 years 8 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
EUROMICRO
1998
IEEE
13 years 11 months ago
1998
IEEE
The World-Wide Web consists not only of informational, but also computational resources. However, these resources, especially computational ones are underutilized. One characteris...
AAI
2004
13 years 7 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
DEXAW
2009
IEEE
13 years 8 months ago
2009
IEEE
Although information sharing in supply chain management dramatically reduces costs, parties are reluctant to do so, mainly due to fear of information leakage. Solutions based on se...
COOP
2004
13 years 8 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...