2209 search results - page 190 / 442 » Language Based Secure Communication |
139
click to vote
CONNECTION
2008
15 years 4 months ago
2008
Spoken language is one of the most intuitive forms of interaction between humans and agents. Unfortunately, agents that interact with people using natural language often experienc...
122
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
112
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Safe language technology can be used for protection within a single address space. This protection is enforced by the language’s type system, which ensures that references to obj...
130
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
The increasing number of software-based attacks has attracted substantial efforts to prevent applications from malicious interference. For example, Trusted Computing (TC) technolo...
177
click to vote
TES
2001
Springer
15 years 8 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...