3792 search results - page 242 / 759 » Techniques for Trusted Software Engineering |
181
click to vote
ACE
2004
15 years 8 months ago
2004
Industrial practice in software engineering has developed in recent years from rigid heavyweight document-based development techniques, such as the Rational Unified Process, to in...
152
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents a new two-levels page-based memory bus protection scheme. A trusted Operating System drives a hardware cryptographic unit and manages security contexts for e...
177
click to vote
SIGECOM
2004
ACM
15 years 12 months ago
2004
ACM
The increasing popularity of resource exchange through peerto-peer networks has encouraged the development of ways to support more complex commercial transactions over these netwo...
186
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
141
click to vote
LISA
2007
15 years 9 months ago
2007
OS Circular is a framework for Internet Disk Image Distribution of software for virtual machines, those which offer a ‘‘virtualized’’ common PC environment on any PC. OS i...