2429 search results - page 213 / 486 » Using Aspects to Design a Secure System |
131
click to vote
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
138
Voted
VEE
2009
ACM
15 years 10 months ago
2009
ACM
Virtual machine monitors (VMMs), including hypervisors, are a popular platform for implementing various security functionalities. However, traditional VMMs require numerous compon...
142
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
117
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
libtissue is a software system for implementing and testing AIS algorithms on real-world computer security problems. AIS algorithms are implemented as a collection of cells, antig...
114
Voted
UTP
2010
15 years 1 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...