147 search results - page 16 / 30 » A Security Model for Military Message Systems: Retrospective |
CISC
2008
Springer
13 years 10 months ago
2008
Springer
The notion of anonymous signatures has recently been formalized by [18], which captures an interesting property that a digital signature can sometimes hide the identity of the sign...
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
FROCOS
2007
Springer
14 years 2 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...
CRYPTO
2012
Springer
11 years 11 months ago
2012
Springer
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....
WOA
2010
13 years 6 months ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...