4731 search results - page 93 / 947 » Securing Interactive Programs |
IWPC
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
OOPSLA
1993
Springer
14 years 29 days ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
IEEEIAS
2008
IEEE
14 years 3 months ago
2008
IEEE
In a mobile ubiquitous environment, service interactions between a user device and a service provider should be secure, regardless of the type of device used to access or consume ...
ISSA
2004
13 years 10 months ago
2004
In today's hi-tech world, conventional physical security methods are simply insufficient for the protection of an organisation's information assets. This is because of t...
COMPSEC
2004
13 years 8 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...