Sciweavers

2550 search results - page 89 / 510
» The Meaning of Open Standards
Sort
View
DGO
2007
140views Education» more  DGO 2007»
15 years 7 months ago
Governing with information technologies
This paper outlines the project highlights for the research project, Governing with Information Technologies. Categories and Subject Descriptors K.4.1 [Computers and Society]: Pub...
Rajiv C. Shah, Jay P. Kesan
IADIS
2003
15 years 7 months ago
Towards an Optimal Routing Strategy
The key features of the principal interior routing protocols for large systems are considered and compared, and the major weaknesses of the open standards noted. A proposal is giv...
Vic Grout
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 6 months ago
From Digital Television to Internet?
This paper provides a general technical overview of the Multimedia Home Platform (MHP) specifications. MHP is a generic interface between digital applications and user machines, w...
Vita Hinze-Hoare
CSFW
2009
IEEE
16 years 26 days ago
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
Sagar Chaki, Anupam Datta
TCC
2005
Springer
108views Cryptology» more  TCC 2005»
15 years 11 months ago
Comparing Two Notions of Simulatability
In this work, relations between the security notions standard simulatability and universal simulatability for cryptographic protocols are investigated. A simulatability-based notio...
Dennis Hofheinz, Dominique Unruh