653 search results - page 67 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
RTCSA
2006
IEEE
14 years 3 months ago
2006
IEEE
Real-time embedded systems are increasingly being networked. In distributed real-time embedded applications, e.g., electric grid management and command and control applications, i...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
A coalition provides a virtual space across a network that allows its members to interact in a transparent manner. Coalitions may be formed for a variety of purposes. These range ...
JMLR
2008
13 years 9 months ago
2008
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
KDD
2004
ACM
14 years 9 months ago
2004
ACM
Secure multiparty computation allows parties to jointly compute a function of their private inputs without revealing anything but the output. Theoretical results [2] provide a gen...
ICS
2003
Tsinghua U.
14 years 2 months ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...