3420 search results - page 220 / 684 » A Language-Based Approach to Security |
124
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
131
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Congestion control algorithms seek to optimally utilize network resources by allocating a certain rate for each user. However, malicious clients can disregard the congestion contr...
119
click to vote
CN
2006
15 years 4 months ago
2006
In certain reliable group-oriented and multicast applications, a source needs to securely verify whether all (and if not all, which) intended receivers have received a message. How...
156
click to vote
JALC
2006
15 years 4 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
126
click to vote
JHSN
2006
15 years 4 months ago
2006
With the growing interest in service-oriented architectures, achieving seamless interoperability between heterogeneous middleware technologies has become increasingly important. W...