26 search results - page 3 / 6 » Exploring adaptability of secure group communication using f... |
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
CSCW
1998
ACM
13 years 5 months ago
1998
ACM
We report on participatory design activities within the POLITeam project, a large project which introduces groupware into the German government. Working with a representative small...
AAAIDEA
2005
IEEE
13 years 11 months ago
2005
IEEE
Voice over IP (VoIP) and Instant Messaging (IM) systems to date have either followed a client-server model or have required the use of clients that do not follow any VoIP or IM st...
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
GLOBECOM
2008
IEEE
13 years 5 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...