263 search results - page 33 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
AINA
2004
IEEE
13 years 11 months ago
2004
IEEE
The interconnection of software components is a key to enabling collaborative work. However, technology differences and security barriers like firewalls often hinder establishing ...
SOCA
2007
IEEE
14 years 1 months ago
2007
IEEE
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...
CLADE
2003
IEEE
14 years 24 days ago
2003
IEEE
The Grid community is actively working on defining, deploying and standardizing protocols, mechanisms, and infrastructure to support decentralized, seamless, and secure interacti...
IJWIS
2007
13 years 7 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
FGCS
2008
13 years 7 months ago
2008
The purpose of ubiquitous computing is anywhere and anytime access to information within computing infrastructures that is blended into a background and no longer be reminded. Thi...