26 search results - page 6 / 6 » Equational Approach to Formal Analysis of TLS |
TASE
2010
IEEE
12 years 11 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...