526 search results - page 102 / 106 » A Z Based Approach to Verifying Security Protocols |
113
Voted
TASE
2010
IEEE
14 years 6 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...
102
click to vote
CSE
2009
IEEE
15 years 21 days ago
2009
IEEE
In Mobile Social Networks (MSN) individuals with similar interests or commonalities connect to each other using the mobile phones. MSN are special kind of Ad-hoc Networks in which ...
107
click to vote
TCS
2008
14 years 11 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
EUROCRYPT
2004
Springer
15 years 3 months ago
2004
Springer
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...
110
Voted
JUCS
2010
14 years 6 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...