712 search results - page 69 / 143 » Secure Data Management in Trusted Computing |
WISTP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. For ubiquitous communication self-organising adhoc networks become more and more important. We consider mobile phones as appropriate secure gateways to provide access to ...
PLDI
2010
ACM
14 years 6 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...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
ISCA
2011
IEEE
13 years 25 days ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
ARESEC
2011
12 years 9 months ago
2011
—With increasing amount of sensitive user data stored in social computing systems (SCSs) and lack of consensus on how it should be protected under meaningful control by the avera...