53 search results - page 10 / 11 » SPEE: A Secure Program Execution Environment tool using code... |
PLDI
2009
ACM
14 years 17 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
CCGRID
2010
IEEE
13 years 6 months ago
2010
IEEE
Idle desktops have been successfully used to run sequential and master-slave task parallel codes on a large scale in the context of volunteer computing. However, execution of messa...
OOPSLA
2010
Springer
13 years 4 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
TOOLS
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
SIGSOFT
2002
ACM
14 years 6 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...