718 search results - page 28 / 144 » Security protocols, properties, and their monitoring |
ENTCS
2008
15 years 1 months ago
2008
We present a Java library for mobile phones which tracks and controls at runtime the use of potentially costly resources, such as premium rate text messages. This improves on the ...
102
click to vote
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
163
click to vote
CSFW
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
100
click to vote
MOBISYS
2005
ACM
16 years 1 months ago
2005
ACM
? We present a system for automatic monitoring and timely dissemination of multimedia information to a range of mobile information appliances based on each user's interest pro...
122
click to vote
IJNSEC
2008
15 years 1 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...