69 search results - page 1 / 14 » Temporal Verification in Secure Group Communication System D... |
SECURWARE
2007
IEEE
13 years 11 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
ATVA
2007
Springer
13 years 8 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
DISCEX
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper proposes several integrated security architecture designs for client-server group communication systems. In an integrated architecture, security services are implemente...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
IPPS
2009
IEEE
13 years 11 months ago
2009
IEEE
Under highly security vulnerable, resource restricted, and dynamically changing mobile ad hoc environments, it is critical to be able to maximize the system lifetime while boundin...