259 search results - page 9 / 52 » Architecture and protocols for the Internet of Things: A cas... |
CSFW
1998
IEEE
13 years 12 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—The Internet has witnessed a rapid growth in deployment of gossip-based protocol in many multicast applications. In a typical gossip-based protocol, each node independen...
ICECCS
2008
IEEE
14 years 2 months ago
2008
IEEE
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
MOBICOM
2005
ACM
14 years 1 months ago
2005
ACM
This paper evaluates the ability of a wireless mesh architecture to provide high performance Internet access while demanding little deployment planning or operational management. ...
SACMAT
2003
ACM
14 years 27 days ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...