653 search results - page 72 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
CLUSTER
2005
IEEE
14 years 2 months ago
2005
IEEE
Firewalls/NATs have brought significant connectivity problems along with their benefits, causing many applications to break or become inefficient. Due to its bi-directional commun...
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
COORDINATION
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Over the past decade the sheer size and complexity of traditional operating systems have prompted a wave of new approaches to help alleviate the services provided by these operati...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Smartphone apps often run with full privileges to access the network and sensitive local resources, making it difficult for remote systems to have any trust in the provenance of ...