2261 search results - page 67 / 453 » Dynamic types for authentication |
CCS
2008
ACM
13 years 11 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
TLDI
2010
ACM
14 years 5 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
COMCOM
2007
13 years 8 months ago
2007
Distributed wireless sensor networks have problems on detecting and preventing malicious nodes, which always bring destructive threats and compromise multiple sensor nodes. Theref...
ICSE
2011
IEEE-ACM
13 years 10 days ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...