544 search results - page 1 / 109 » From Trusted to Secure: Building and Executing Applications ... |
USENIX
2007
13 years 7 months ago
2007
Commercial operating systems have recently introduced mandatory access controls (MAC) that can be used to ensure system-wide data confidentiality and integrity. These protections...
ICWS
2007
IEEE
13 years 6 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
TDSC
2011
12 years 11 months ago
2011
To ensure fair and secure communication in Mobile Ad hoc Networks (MANETs), the applications running in these networks must be regulated by proper communication policies. However,...
JHSN
2006
13 years 4 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...