1317 search results - page 22 / 264 » A New Design for a Practical Secure Cookies System |
125
Voted
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
147
Voted
INTERACTIONS
2010
15 years 2 months ago
2010
s on Human Factors in Computing Systems. CHI ‘07. New York: ACM, 2007. university environment at scale, with structure, and with rigor. The notion of studio culture and learning ...
153
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
121
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
128
click to vote
SENSYS
2005
ACM
15 years 9 months ago
2005
ACM
Wireless sensor networks based on highly resource-constrained devices require symmetric cryptography in order to make them secure. Integral to this is the exchange of unique symme...