4305 search results - page 176 / 861 » Analysing Protocol Implementations |
ESAS
2006
Springer
14 years 25 days ago
2006
Springer
In the context of ambient networks, this article describes a cryptographic protocol called Common History Extraction (CHE) protocol implementing a trust management framework. All t...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—In a Wireless Local Area Network (WLAN), the Access Point (AP) selection of a client heavily influences the performance of its own and others. Through theoretical analysis, we ...
MOBISEC
2009
Springer
14 years 3 months ago
2009
Springer
Explosive growth of the Internet and lack of mechanisms that validate the authenticity of a packet source produced serious security and accounting issues. In this paper, we propose...
ICECCS
2008
IEEE
14 years 3 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...
LPAR
2007
Springer
14 years 3 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...