2209 search results - page 74 / 442 » Language Based Secure Communication |
115
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...
139
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
158
click to vote
CSFW
1996
IEEE
15 years 6 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
117
click to vote
ICISC
2007
15 years 3 months ago
2007
Query-response based protocols between a client and a server such as SSL, TLS, SSH are asymmetric in the sense that the querying client and the responding server play different ro...
117
click to vote
FGCN
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper proposes a novel secure query processing model for semantic sensor networks. A semantic sensor network (SSN) is a sensor network which includes semantics of sensory dat...