ada-libraries
/
jwx
mirror of https://github.com/Componolit/jwx
1
0
Fork 0
Code Issues Releases Wiki Activity
175 Commits 6 Branches 2 Tags 568 KiB
Commit Graph

175 Commits

Author SHA1 Message Date
Alexander Senier 113df2f4bb WIP: Prove 2018-08-18 14:14:40 +02:00
Alexander Senier 0345a9235a Change floating point type to Long_Float 2018-08-18 14:14:40 +02:00
Alexander Senier 704b16d0ea Use local lsc in tests 2018-08-18 14:14:40 +02:00
Alexander Senier 9d46fce8fc Prove precondition of JWX_Byte_Array_To_LSC_Word32_Array 2018-08-18 14:14:40 +02:00
Alexander Senier 8e42727e8c Use libsparkcrypto through installed project file 2018-08-18 14:14:40 +02:00
Alexander Senier a9e7c2ed45 Fix JWX.Stream_Auth instantiation 2018-07-03 21:46:58 +02:00
Alexander Senier 2a6874a91a Integrate libsparkcrypto as a submodule 2018-07-03 21:46:58 +02:00
Alexander Senier d431b075d2 Work around GNAT issue in refined state handling 
Fixes #1
 2018-07-02 21:50:07 +02:00
Alexander Senier fc5fb68c3d Fix JWX.Stream_Auth tests 2018-06-25 23:02:45 +02:00
Alexander Senier ff386a168f Fix end-of-token detection 2018-06-24 23:25:24 +02:00
Alexander Senier 58629d858a Fix passthrough mode 2018-06-24 22:58:17 +02:00
Alexander Senier 33b156844b Implement command line parsing and pass-through 2018-06-24 22:58:17 +02:00
Alexander Senier 01779ff862 Replace authproxy with new implementation 2018-06-24 22:58:17 +02:00
Alexander Senier 1444707617 Add token validation 2018-06-24 22:58:17 +02:00
Alexander Senier 7a8aeb3391 Optimize socket forwarding 2018-06-24 22:58:17 +02:00
Alexander Senier 47fe37fddf Improve debug output 2018-06-24 22:58:17 +02:00
Alexander Senier 2955918701 Implement robust TCP forwarder 2018-06-24 22:58:17 +02:00
Alexander Senier 19c18bd50e authproxy: Improve console output 2018-06-24 22:58:17 +02:00
Alexander Senier 3f05cbf95b Initialized current time variable 2018-06-24 22:58:17 +02:00
Alexander Senier f41a0bbda3 Remove unused entities and packages 2018-06-24 22:58:17 +02:00
Alexander Senier fd25ef5939 Add expiration checking support to example proxy 2018-06-24 22:58:17 +02:00
Alexander Senier f4e1d3e341 JWT: Change current time to Long_Integer 2018-06-24 22:58:17 +02:00
Alexander Senier 6451c4b0e0 Refactor authentication proxy example 2018-06-24 22:58:17 +02:00
Alexander Senier 7f4117188b WIP: Authentication proxy 2018-06-24 22:58:17 +02:00
Alexander Senier 313d38736f Clean up unused entities and packages 2018-06-21 10:39:53 +02:00
Alexander Senier 3861712388 Update limitations 2018-06-10 12:45:53 +02:00
Alexander Senier f61583f64d Clean up directory structure 2018-06-09 18:57:57 +02:00
Alexander Senier c648bcd126 Update README and examples 2018-06-09 18:08:56 +02:00
Alexander Senier e7a7385902 Implement JWT validation 2018-06-09 00:50:25 +02:00
Alexander Senier 5468b7381d Refactor JWS into generic in preparation of JWT support 2018-06-08 19:46:02 +02:00
Alexander Senier e24d7e3480 Rename proof helper for jwx.stream_auth package 2018-06-08 16:09:43 +02:00
Alexander Senier 4df7252f01 Add authentication test with multiple message parts 2018-06-08 15:45:52 +02:00
Alexander Senier f598cbdb08 Implement authentication of test streams 2018-06-08 15:27:45 +02:00
Alexander Senier ab53e2bf72 Add HTTP auth test cases 2018-06-07 13:30:26 +02:00
Alexander Senier 98687bad37 Add missing file headers 2018-06-06 21:27:24 +02:00
Alexander Senier 578d8779db Adapt tests to changes in 76e10418 2018-06-04 00:00:39 +02:00
Alexander Senier 47b5ef37c0 Fix post/pre condition of Valid_Oct 2018-06-03 23:28:09 +02:00
Alexander Senier 684792b3ea WIP: Prove jwk 2018-06-03 00:41:12 +02:00
Alexander Senier 76e10418f2 Make Data parameter of JWX.JSON in/out 2018-06-02 19:12:13 +02:00
Alexander Senier 7bbd803fc3 Refactor JWX to pass in JSON data as generic argument 2018-06-01 10:44:35 +02:00
Alexander Senier 0281e56766 Update README 2018-06-01 08:37:51 +02:00
Alexander Senier 6e3bd1253d Disable inlining, enable progressive mode 2018-06-01 08:29:59 +02:00
Alexander Senier b709b36635 WIP: Prove open VCs 2018-06-01 08:29:46 +02:00
Alexander Senier 709a3888f1 Remove unused padding parameter in Base64 decoder 2018-05-28 23:32:08 +02:00
Alexander Senier 83c2230d8e Refactor Context_Element_Type to variant record 
Thanks to @Kensan and @reet- for the crucial hint how to do this.
 2018-05-27 13:34:15 +02:00
Alexander Senier ab8970af17 WIP: Prove JWX.LSC 2018-05-27 10:51:50 +02:00
Alexander Senier 92439afa5e Use new SHA256 Message_Index 2018-05-25 00:13:52 +02:00
Alexander Senier 06deee94e7 WIP: Prove JWX.LSC 2018-05-24 00:45:10 +02:00
Alexander Senier 0c95c402e3 Prove JWX.Util.To_Byte_Array/To_String 2018-05-23 13:50:07 +02:00
Alexander Senier a11fe16ca8 JWS: Factor out key loading 2018-05-22 17:46:06 +02:00