Sciweavers

16218 search results - page 35 / 3244
» Standards
Sort
View
FDL
2005
IEEE
15 years 3 months ago
Architecture description in related standards
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
David Servat, Frédéric Loiret, S&eac...
EGOV
2005
Springer
15 years 3 months ago
Policy and Practice in Standards Selection for E-Government Interoperability Frameworks
Interoperability has been identified as a major issue to be addressed by every e-government agency. An interoperability framework aims to provide the basic standards that every de...
Luis Guijarro
FM
1999
Springer
126views Formal Methods» more  FM 1999»
15 years 2 months ago
Correctness Proof of the Standardized Algorithm for ABR Conformance
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
Jean-François Monin, Francis Klay
FCCM
2004
IEEE
121views VLSI» more  FCCM 2004»
15 years 1 months ago
Validation of an Advanced Encryption Standard (AES) IP Core
This paper describes the package of test bench code required to verify the Algotronix' AES IP Core. Several authors (see the references in [3]) have published papers detailing...
Valeri F. Tomashau, Tom Kean
EUROCRYPT
2006
Springer
15 years 1 months ago
The Cramer-Shoup Encryption Scheme Is Plaintext Aware in the Standard Model
In this paper we examine the security criteria for a KEM and a DEM that are sufficient for the overall hybrid encryption scheme to be plaintext-aware in the standard model. We appl...
Alexander W. Dent