Newer
Older
garciay
committed
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
/**
* @desc
*/
template (present) SspDENM mw_sspDENMContainer_vehicle
modifies mw_sspDENMContainer_dummy := {
trafficCondition := '0'B,
accident := '0'B,
roadworks := '0'B,
adverseWeatherCondition_Adhesion := '0'B,
hazardousLocation_SurfaceCondition := '0'B,
hazardousLocation_ObstacleOnTheRoad := '0'B,
hazardousLocation_AnimalOnTheRoad := '0'B,
slowVehicle := '0'B,
dangerousEndOfQueue := '0'B,
vehicleBreakdown := '0'B,
stationaryVehicle := '0'B
} // End of template mw_sspDENMContainer_vehicle
/**
* @desc
*/
template (present) SspDENM mw_sspDENMContainer_roadSideUnit
modifies mw_sspDENMContainer_dummy := {
trafficCondition := '0'B,
accident := '0'B,
roadworks := '0'B,
adverseWeatherCondition_Adhesion := '0'B,
hazardousLocation_SurfaceCondition := '0'B,
hazardousLocation_ObstacleOnTheRoad := '0'B,
hazardousLocation_AnimalOnTheRoad := '0'B,
humanPresenceOnTheRoad := '0'B,
wrongWayDriving := '0'B,
rescueAndRecoveryWorkInProgress := '0'B,
adverseWeatherCondition_ExtremeWeatherCondition := '0'B,
adverseWeatherCondition_Visibility := '0'B,
adverseWeatherCondition_Precipitation := '0'B,
postCrash := '0'B,
humanProblem := '0'B,
stationaryVehicle := '0'B,
hazardousLocation_DangerousCurve := '0'B,
collisionRisk := '0'B,
dangerousSituation := '0'B
} // End of template m_sspDENMContainer_roadSideUnit
/**
* @desc
*/
template (present) ServiceSpecificPermissions mw_sspDENM_dummy := {
version := '01'O,
sspContainer := {
sspDENM := mw_sspDENMContainer_dummy
}
} // End of template mw_sspDENM_dummy
/**
* @desc
*/
template (present) ServiceSpecificPermissions mw_sspDENM_vehicle
modifies mw_sspDENM_dummy := {
sspContainer := {
sspDENM := mw_sspDENMContainer_vehicle
}
} // End of template mw_sspDENM_vehicle
/**
* @desc
*/
template (present) ServiceSpecificPermissions mw_sspDENM_roadSideUnit
modifies mw_sspDENM_dummy := {
sspContainer := {
sspDENM := mw_sspDENMContainer_roadSideUnit
}
} // End of template mw_sspDENM_roadSideUnit
} // End of group sspDenmRecv
} // End of group sspDenm
} // End of group ssp
/**
* @desc Send/receive templates for profiles for certificates
* @see Draft ETSI TS 103 097 V1.1.9 Clause 7.4 Profiles for certificate
*/
group profileCertificates {
/**
* @desc SecuredMesage payload to be signed
* @member p_security_profile The secury profile
* @member p_header_fields The headers list
* @member p_payload_field The payloads list
* @member p_trailer_field_type The trailer type
* @see Draft ETSI TS 103 097 V1.1.9 Clause 7 Security profiles
*/
template (value) ToBeSignedSecuredMessage m_toBeSignedSecuredMessage(
in template (value) HeaderFields p_header_fields,
in template (value) SecPayload p_payload_field,
in template (value) TrailerFieldType p_trailer_field_type
) := {
protocol_version := c_protocol_version,
header_fields := p_header_fields,
payload_field := p_payload_field,
trailer_fieldsLength := 67, // 43h = lengthof(trailer_fields) // FIXME To be enhanced due to multiple signature
trailerFieldType := p_trailer_field_type
} // End of template m_toBeSignedSecuredMessage
/**
* @desc The certificate paylaod to be signed
* @member p_certificate The signed certificate to be verified
* @see Draft ETSI TS 103 097 V1.1.9 Clause 7.4 Profiles for certificate
*/
template (value) ToBeSignedCertificate m_toBeSignedCertificate(
in template (value) Certificate p_certificate
) := {
version := p_certificate.version,
signer_info := p_certificate.signer_info,
subject_info := p_certificate.subject_info,
subject_attributes := p_certificate.subject_attributes,
validity_restrictions := p_certificate.validity_restrictions
} // End of template m_toBeSignedCertificate
} // End of group profileCertificates
group taPrimitives {
/**
* @desc Enable security support
*/
template (value) AcEnableSecurity m_enableSecurity(
in Oct32 p_signingPrivateKey,
in Oct32 p_signingPublicKeyX,
in Oct32 p_signingPublicKeyY,
in Oct32 p_encryptPrivateKey,
in Oct32 p_encryptPublicKeyX,
in Oct32 p_encryptPublicKeyY,
in octetstring p_toBeSignedSecuredMessageTemplateDigest,
in octetstring p_toBeSignedSecuredMessageTemplateCertificate
signingPrivateKey := p_signingPrivateKey,
signingPublicKeyX := p_signingPublicKeyX,
signingPublicKeyY := p_signingPublicKeyY,
encryptPrivateKey := p_encryptPrivateKey,
encryptPublicKeyX := p_encryptPublicKeyX,
encryptPublicKeyY := p_encryptPublicKeyY,
toBeSignedSecuredMessageTemplateDigest := p_toBeSignedSecuredMessageTemplateDigest,
toBeSignedSecuredMessageTemplateCertificate := p_toBeSignedSecuredMessageTemplateCertificate
} // End of template m_enableSecurity
/**
* @desc Disable security support
*/
template (value) AcDisableSecurity m_disableSecurity := {
disable := true
} // End of template m_disableSecurity
} // End of group taPrimitives