2209 search results - page 64 / 442 » Language Based Secure Communication |
119
click to vote
GISCIENCE
2004
Springer
15 years 7 months ago
2004
Springer
We investigate the understanding of landmarks using a model of embedding procedures that sees affordances established on three levels. On the first level there are landmark experie...
166
click to vote
IFIP
2009
Springer
15 years 4 days ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
125
Voted
SAFECOMP
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
153
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
116
Voted
XMLSEC
2003
ACM
15 years 7 months ago
2003
ACM
Authorization systems today are increasingly complex. They span domains of administration, rely on many different authentication sources, and manage permissions that can be as com...