Commit c5248dfc authored by garciay's avatar garciay
Browse files

Bug fixed on SubjectAttribute typing

parent 27e117b7
Loading
Loading
Loading
Loading
+23 −5
Original line number Diff line number Diff line
@@ -1479,14 +1479,23 @@ module LibItsSecurity_Templates {
                } // End of template m_subject_attribute_verification_key
                
                template (value) SubjectAttribute m_subject_attribute_encryption_key(
                                                                                     in template (value) EccPoint p_rv
                                                                                     in template (value) PublicKey p_key
                ) := {
                    type_       := e_encryption_key,
                    attribute   := {
                        rv := p_rv
                        key := p_key
                    }
                } // End of template m_subject_attribute_encryption_key
                
                template (value) SubjectAttribute m_subject_attribute_reconstruction_value(
                                                                                     in template (value) EccPoint p_rv
                ) := {
                    type_       := e_reconstruction_value,
                    attribute   := {
                        rv := p_rv
                    }
                } // End of template m_subject_attribute_reconstruction_value
                
                template (value) SubjectAttribute m_subject_attribute_assurance_level(
                                                                                      in template (value) SubjectAssurance p_assurance_level
                ) := {
@@ -1496,14 +1505,23 @@ module LibItsSecurity_Templates {
                    }
                } // End of template m_subject_attribute_assurance_level
                
                template (value) SubjectAttribute m_subject_attribute_reconstruction_value(
                template (value) SubjectAttribute m_subject_attribute_its_aid_list(
                                                                                           in template (value) IntXs p_its_aid_list
                ) := {
                    type_       := e_reconstruction_value,
                    type_       := e_its_aid_list,
                    attribute   := {
                        its_aid_list := p_its_aid_list
                    }
                } // End of template m_subject_attribute_reconstruction_value
                } // End of template m_subject_attribute_its_aid_list
                
                template (value) SubjectAttribute m_subject_attribute_its_aid_ssp_list(
                                                                                       in template (value) ItsAidSsps p_its_aid_ssp_list
                ) := {
                    type_       := e_its_aid_ssp_list,
                    attribute   := {
                        its_aid_ssp_list := p_its_aid_ssp_list
                    }
                } // End of template m_subject_attribute_its_aid_ssp_list
                
            } // End of group subjectAttribute