4731 search results - page 168 / 947 » Securing Interactive Programs |
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Interactive tutorials, like Eclipse's cheat sheets, are good for novice programmers to learn how to perform tasks (e.g., checking out a CVS project) in an Integrated Developm...
ESORICS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
APGV
2008
ACM
13 years 11 months ago
2008
ACM
There is an increasing need for methods for secure dissemination of interactive 3D graphics content, providing protection for valuable 3D models while still allowing them to be wi...
CSCWD
2008
Springer
13 years 11 months ago
2008
Springer
With an increasing amount of semi-structured data XML has become important. XML documents may contain private information that cannot be shared by all user communities. Therefore,...
ICFP
2009
ACM
14 years 3 months ago
2009
ACM
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...