4731 search results - page 8 / 947 » Securing Interactive Programs |
76
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
95
Voted
CRYPTO
2007
Springer
15 years 8 months ago
2007
Springer
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
248
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
94
Voted
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
