69 search results - page 10 / 14 » Temporal Verification in Secure Group Communication System D... |
NOMS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
WS
2004
ACM
14 years 24 days ago
2004
ACM
802.11i is an IEEE standard designed to provide enhanced MAC security in wireless networks. The authentication process involves three entities: the supplicant (wireless device), t...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
The challenge for user authentication in a global file system is allowing people to grant access to specific users and groups in remote administrative domains, without assuming ...
INFOCOM
1999
IEEE
13 years 11 months ago
1999
IEEE
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
MAGS
2008
13 years 7 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...