489 search results - page 20 / 98 » Reasoning about confidentiality at requirements engineering ... |
121
click to vote
FPL
2008
Springer
15 years 1 months ago
2008
Springer
A high-speed and secure dynamic partial reconfiguration (DPR) system is realized with AES-GCM that guarantees both confidentiality and authenticity of FPGA bitstreams. In DPR syst...
97
Voted
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
204
Voted
POPL
2008
ACM
16 years 22 days ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
80
Voted
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
108
click to vote
CLEIEJ
2010
14 years 9 months ago
2010
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...