4731 search results - page 44 / 947 » Securing Interactive Programs |
CN
2000
13 years 8 months ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
ERLANG
2007
ACM
14 years 20 days ago
2007
ACM
This paper presents an interactive framework for pupils to learn the basic concepts of programming by means of the functional programming language Erlang. Beside the idea of the f...
JMLC
2000
Springer
14 years 9 days ago
2000
Springer
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.
ACSAC
1999
IEEE
14 years 1 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...