262 search results - page 17 / 53 » Providing Trusted Components to the Industry |
FGCS
2010
14 years 8 months ago
2010
This paper describes a conceptual model for attribute aggregation that allows a service provider (SP) to authorise a user’s access request based on attributes asserted by multip...
SIGADA
2005
Springer
15 years 2 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
CSREASAM
2003
14 years 10 months ago
2003
The adoption of wireless technologies and handheld devices is becoming widespread in business, industry, and government organizations. The use of handheld devices introduces new r...
49
Voted
ROMAN
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— Robot ecologies provide a new paradigm for assistive, service, industrial, and entertainment robotics which is quickly gaining popularity. These ecologies contain a lar...
LISA
2001
14 years 10 months ago
2001
Cryptography has emerged as an enormously important component of the networked world. People are hesitant to trust the World Wide Web and e-commerce without the protections crypto...