smg_comms_raw_types 1
smg_comms_raw_types 2
smg_comms_raw_types 3
smg_comms_raw_types 4
smg_comms_raw_types 5
smg_comms_raw_types 6
smg_comms_raw_types 7
smg_comms_raw_types 8 with Interfaces; use Interfaces;
smg_comms_raw_types 9 with Ada.Unchecked_Conversion;
smg_comms_raw_types 10
smg_comms_raw_types 11 package Raw_Types is
smg_comms_packing... 12
smg_comms_packing... 13 Pragma Pure(Raw_Types);
smg_comms_raw_types 14
smg_comms_packing... 15
smg_comms_packing... 16
smg_comms_packing... 17 type Octets is array( Natural range <> ) of Interfaces.Unsigned_8;
smg_comms_packing... 18
smg_comms_actions... 19
smg_comms_actions... 20 subtype Text_Len is Positive range 1..2**16-1;
smg_comms_actions... 21
smg_comms_actions... 22
smg_comms_actions... 23
smg_comms_actions... 24 type Text_Octets( Len: Text_Len := 1 ) is
smg_comms_actions... 25 record
smg_comms_actions... 26
smg_comms_actions... 27 Content: Octets( 1..Len ) := (others => 0);
smg_comms_actions... 28 end record;
smg_comms_actions... 29
smg_comms_raw_types 30
smg_comms_rsa_oaep 31
smg_comms_rsa_oaep 32
smg_comms_rsa_oaep 33
smg_comms_rsa_oaep 34
smg_comms_rsa_oaep 35
smg_comms_rsa_oaep 36
smg_comms_rsa_oaep 37
smg_comms_rsa_oaep 38 RSA_KEY_OCTETS : constant Positive := 490;
smg_comms_shorter_e 39
smg_comms_shorter_e 40
smg_comms_shorter_e 41
smg_comms_shorter_e 42
smg_comms_shorter_e 43 E_LENGTH_OCTETS : constant Positive := 8;
smg_comms_packing... 44
smg_comms_packing... 45
smg_comms_packing... 46
smg_comms_packing... 47
smg_comms_packing... 48 OAEP_R_STR : constant String := "TMSR-RSA";
smg_comms_packing... 49
smg_comms_packing... 50 OAEP_RESERVED : constant Octets := (84,77,83,82,45,82,83,65);
smg_comms_packing... 51
smg_comms_packing... 52 OAEP_MAX_LEN : constant Natural := RSA_KEY_OCTETS / 2 -
smg_comms_packing... 53 OAEP_R_STR'Length - 3;
smg_comms_rsa_oaep 54
smg_comms_packing... 55
smg_comms_packing... 56 RSA_PKT_OCTETS : constant Positive := 1470;
smg_comms_packing... 57 RSA_MSG_OCTETS : constant Positive := RSA_PKT_OCTETS /
smg_comms_packing... 58 RSA_KEY_OCTETS *
smg_comms_packing... 59 OAEP_MAX_LEN;
smg_comms_packing... 60 RSA_MSG_BITS : constant Positive := RSA_MSG_OCTETS * 8;
smg_comms_rsa_oaep 61
smg_comms_raw_types 62
smg_comms_raw_types 63
smg_comms_packing... 64
smg_comms_packing... 65 SERPENT_OCTETS : constant Positive := 1472;
smg_comms_raw_types 66
smg_comms_raw_types 67
smg_comms_raw_types 68 subtype Octets_1 is Octets( 1 .. 1 );
smg_comms_raw_types 69 subtype Octets_2 is Octets( 1 .. 2 );
smg_comms_raw_types 70 subtype Octets_4 is Octets( 1 .. 4 );
smg_comms_raw_types 71 subtype Octets_8 is Octets( 1 .. 8 );
smg_comms_raw_types 72
smg_comms_rsa_oaep 73
smg_comms_rsa_oaep 74 subtype RSA_len is Octets ( 1 .. RSA_KEY_OCTETS);
smg_comms_rsa_oaep 75 subtype RSA_half is Octets( 1 .. RSA_KEY_OCTETS/2);
smg_comms_shorter_e 76 subtype RSA_e is Octets( 1 .. E_LENGTH_OCTETS);
smg_comms_rsa_oaep 77
smg_comms_raw_types 78
smg_comms_raw_types 79 subtype RSA_Pkt is Octets( 1 .. RSA_PKT_OCTETS );
smg_comms_raw_types 80 subtype RSA_Msg is Octets( 1 .. RSA_MSG_OCTETS );
smg_comms_raw_types 81
smg_comms_raw_types 82
smg_comms_raw_types 83
smg_comms_packing... 84 subtype Serpent_Pkt is Octets( 1 .. SERPENT_OCTETS );
smg_comms_packing... 85 subtype Serpent_Msg is Octets( 1 .. SERPENT_OCTETS );
smg_comms_raw_types 86
smg_comms_raw_types 87
smg_comms_raw_types 88 function Cast is new Ada.Unchecked_Conversion( Integer_8 , Octets_1 );
smg_comms_raw_types 89 function Cast is new Ada.Unchecked_Conversion( Octets_1 , Integer_8 );
smg_comms_raw_types 90 function Cast is new Ada.Unchecked_Conversion( Unsigned_8 , Octets_1 );
smg_comms_raw_types 91 function Cast is new Ada.Unchecked_Conversion( Octets_1 , Unsigned_8 );
smg_comms_raw_types 92
smg_comms_raw_types 93 function Cast is new Ada.Unchecked_Conversion( Integer_16 , Octets_2 );
smg_comms_raw_types 94 function Cast is new Ada.Unchecked_Conversion( Octets_2 , Integer_16 );
smg_comms_raw_types 95 function Cast is new Ada.Unchecked_Conversion( Unsigned_16, Octets_2 );
smg_comms_raw_types 96 function Cast is new Ada.Unchecked_Conversion( Octets_2 , Unsigned_16 );
smg_comms_raw_types 97
smg_comms_raw_types 98 function Cast is new Ada.Unchecked_Conversion( Integer_32 , Octets_4 );
smg_comms_raw_types 99 function Cast is new Ada.Unchecked_Conversion( Octets_4 , Integer_32 );
smg_comms_raw_types 100 function Cast is new Ada.Unchecked_Conversion( Unsigned_32, Octets_4 );
smg_comms_raw_types 101 function Cast is new Ada.Unchecked_Conversion( Octets_4 , Unsigned_32 );
smg_comms_raw_types 102
smg_comms_raw_types 103
smg_comms_raw_types 104 function Cast is new Ada.Unchecked_Conversion( Float, Octets_4 );
smg_comms_raw_types 105 function Cast is new Ada.Unchecked_Conversion( Octets_4, Float );
smg_comms_raw_types 106
smg_comms_raw_types 107 function Cast is new Ada.Unchecked_Conversion( Integer_64, Octets_8 );
smg_comms_raw_types 108 function Cast is new Ada.Unchecked_Conversion( Octets_8, Integer_64 );
smg_comms_raw_types 109 function Cast is new Ada.Unchecked_Conversion( Unsigned_64, Octets_8 );
smg_comms_raw_types 110 function Cast is new Ada.Unchecked_Conversion( Octets_8, Unsigned_64 );
smg_comms_raw_types 111
smg_comms_raw_types 112 end Raw_Types;