13 search results - page 1 / 3 » Automated Analysis of an Audio Control Protocol |
CAV
1995
Springer
13 years 8 months ago
1995
Springer
ACSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
JCIT
2010
13 years 1 days ago
2010
Voice over Internet Protocol (VoIP) is a general term for a family of transmission technologies to delivery of voice communications over IP networks such as the Internet or other ...
SSS
2009
Springer
13 years 11 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...
ICNP
2000
IEEE
13 years 9 months ago
2000
IEEE
Recently, audio and video delivery services are widely spread in the Internet. In order to deliver these data to multiple receivers at the same time, the multicast technologies ar...