4731 search results - page 32 / 947 » Securing Interactive Programs |
PADL
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
CHI
1992
ACM
14 years 24 days ago
1992
ACM
FC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
TOCS
2002
13 years 8 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
SACMAT
2006
ACM
14 years 2 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...