sylv/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 97c634e772 - Improved protocol lists. ccremers 2006-02-23 10:49:38 +00:00
  • ec4cb6eb68 - Include version number in cache id. ccremers 2006-02-23 10:49:23 +00:00
  • 24832d641d - Some compatibility fixes. ccremers 2006-02-23 10:49:06 +00:00
  • f333fb8276 - Explicit casts. ccremers 2006-02-23 10:44:44 +00:00
  • 0a74c87934 - Added some new heuristics testing. ccremers 2006-02-23 09:39:02 +00:00
  • 8f896432d1 - Added some stuff on the new graph code. ccremers 2006-02-22 16:58:11 +00:00
  • f376260512 - Changed default heuristic to 34. ccremers 2006-02-22 15:57:55 +00:00
  • 494d02a524 - Modified some scripts, in particular to get compareheuristics to work with the new versions of Scyther. ccremers 2006-02-22 15:49:32 +00:00
  • 41e797413c - Added new heuristics based on hidelevel results. Preliminary results: 1. For typed matching, either heuristic 32 or 34 are best, and far superior to the previous best (3). 2. For untyped matching, partial tests indicate that heuristic 1 is best, which is rather interesting. ccremers 2006-02-22 15:48:58 +00:00
  • 921c82876d - experimental=4 now disables some things. Weirdly enough, they don't seem to make much difference. ccremers 2006-02-22 09:53:50 +00:00
  • dbc0a3583d - Better setup for --experimental= switch using bit masks. ccremers 2006-02-22 08:55:42 +00:00
  • 10b6793d97 - More cleaning of switches. ccremers 2006-02-22 08:47:22 +00:00
  • 5ddcdfed22 - Added --long-help and -E, --expert switches. ccremers 2006-02-22 08:41:06 +00:00
  • b2e40e07f3 - Some more work on hidelevel backbone. - Added '--count-states' switch for the Arachne engine. ccremers 2006-02-22 08:24:29 +00:00
  • d3f2971181 - Reindent script was improved (and consequences added) ccremers 2006-02-21 21:35:14 +00:00
  • 5d2d836d07 - Much work for the skeleton of the Hidelevel lemma. ccremers 2006-02-21 20:29:05 +00:00
  • bb7259a1ad - Removed some too interesting pruning methods that really need theorems first. Revealed by the certified e-mail protocol by Abadi and Blanchet. ccremers 2006-01-17 16:18:26 +00:00
  • 3ed59b867a - Added an idea. ccremers 2006-01-17 12:30:16 +00:00
  • f0715c030d - Stored good idea. ccremers 2006-01-09 11:56:44 +00:00
  • baf1856943 - Added some tokens for future usage: 'function', 'hashfunction', 'knows', 'trusted'. ccremers 2006-01-09 09:38:17 +00:00
  • 8b30526a57 - Added a note about inversekeys in a role definition. ccremers 2006-01-07 13:28:13 +00:00
  • 96e7a32bff - Added '--unbounded' switch. ccremers 2006-01-06 12:46:04 +00:00
  • 8b1d714b73 - Minor changes. ccremers 2006-01-06 12:45:48 +00:00
  • 99861d3e03 - Added '--untyped' switch which is to be preferred above the older --match=2 notation. ccremers 2006-01-06 12:23:11 +00:00
  • d9b0f412e4 - Added a good idea. ccremers 2006-01-06 12:11:32 +00:00
  • 4ad0cf714b - Better distribution text and stuff. ccremers 2006-01-04 14:13:48 +00:00
  • 937fe6f6e4 - Added distribution production package. ccremers 2006-01-04 14:02:56 +00:00
  • 92342683f5 - Cleanup of unused structure. ccremers 2006-01-03 11:34:48 +00:00
  • c9eaf1f95f - Minor stuff. ccremers 2006-01-03 11:34:27 +00:00
  • 066bc810d8 - Notes on the warshall algorithm that is currently taking a third of processing time, which is way too much. ccremers 2006-01-02 21:19:53 +00:00
  • da75862d82 - Huge code documentation effort. ccremers 2006-01-02 21:06:08 +00:00
  • 6676266f4a - More refactoring to improve the code. ccremers 2006-01-02 20:18:47 +00:00
  • e6505a72a3 - Further refactoring. - Some cleanup. ccremers 2006-01-02 19:55:34 +00:00
  • a5acc4984a - More refactoring for Arachne. Slowly we're getting somewhere. ccremers 2006-01-02 19:19:23 +00:00
  • e592a0a432 - Refactoring code: splitting stuff out of arachne.c ccremers 2006-01-02 18:43:25 +00:00
  • 4023ef237e - Some reindentation. Nothing interesting, just syntax. ccremers 2006-01-02 16:07:56 +00:00
  • e21627442a - Added 'singular' directive for roles. Syntax: protocol ns3 (I,R) { singular role I: { } } ccremers 2006-01-02 16:05:53 +00:00
  • 724faa8949 - Cleaned up some printf's and warnings in compiler.c - Added warning for unspecified roles. ccremers 2006-01-02 15:29:41 +00:00
  • 6516741983 - More notes. ccremers 2006-01-02 15:10:40 +00:00
  • 25fe5b210e - Idea about timestamps added. ccremers 2006-01-02 14:34:46 +00:00
  • 28f13aff26 - Added some final-day notes for 2005. ccremers 2005-12-31 19:34:50 +00:00
  • 441644e6d2 - Fixed the ECSS version copy. ccremers 2005-12-30 15:56:05 +00:00
  • 8c04a7517c - Added script to copy the latest Scyther version to the ecss repository. ccremers 2005-12-30 15:54:32 +00:00
  • d2ac518234 - Fixed typo in --help (noted by Sjouke) - State-space should generate classes. ccremers 2005-12-30 15:11:39 +00:00
  • 6f670d7ab6 - In xml output, renamed 'attack' tag to 'state', which in general reflects better what it describes. ccremers 2005-12-30 12:17:25 +00:00
  • 4a363aa33c - Bugfix: the single attack output adaptions from revision 1447 had broken some of the xml output. ccremers 2005-12-30 12:03:19 +00:00
  • ebf50b5252 - Removed the bold for complete proof. ccremers 2005-12-29 13:36:01 +00:00
  • 3b897c3872 - Added '--check' switch, to see whether your protocol terminates at all if there is no intruder. - Restructered many switches. ccremers 2005-12-29 12:52:51 +00:00
  • a50245734d - Fixed the broken '--no-intruder' switch. ccremers 2005-12-29 12:14:21 +00:00
  • c79c9eb73f - Added color output but forgot to add the sources files, fixed. - Note: ~ is not expanded in SCYTHERDIR because it is not handled by the shell; thus $HOME should be used. ccremers 2005-12-29 11:03:18 +00:00
  • 515dec7f8b - Added note on usage of '~' in SCYTHERDIR. ccremers 2005-12-29 10:56:09 +00:00
  • ab2f2469c0 - Added help text for the environment variables. ccremers 2005-12-29 09:35:08 +00:00
  • 1aca8460a3 - SCYTHERDIR environment variable is now used: colon-separated list of directories to search. Oblivious to trailing slashes. ccremers 2005-12-29 09:25:42 +00:00
  • efb3ec232b - Added some new thoughts, cleaned up old ones. ccremers 2005-12-28 22:52:22 +00:00
  • d21f292330 - Renamed '--monochrome' to '--plain', which is nicer and shorter. ccremers 2005-12-28 18:40:58 +00:00
  • 3686a69869 - Added SCYTHERFLAGS environment variable. ccremers 2005-12-28 16:33:08 +00:00
  • ab75acea62 - Added colour output, with --monochrome switch to disable this. ccremers 2005-12-28 15:27:22 +00:00
  • e19f8bddd1 - Improved Reachable claims output - Use square brackets for remark output instead of normal brackets. ccremers 2005-12-28 14:42:46 +00:00
  • bceaca28f0 - Improved some type of warnings for e.g. empty prec sets andsoforth. ccremers 2005-12-28 14:25:06 +00:00
  • 72162e82c6 - Some cleanup. ccremers 2005-12-28 12:13:17 +00:00
  • 39adf85c6a - Reverted previous version: Tickets can possibly be secret as well (although this is dubious, as the claiming role will not know the contents in many cases) ccremers 2005-12-28 12:04:00 +00:00
  • dce2befd50 - Don't add secrecy claims for ticket types. ccremers 2005-12-28 11:59:39 +00:00
  • 0505aaacd6 - New claim: CLAIM_Reachable - Added new switches: -G,--generate-statespace -C,--generate-claims - Claims are now allowed to have no label (they will be generated automatically) - Output summary shows parameter of claims - Internally, new symbols can now be generated by symbolNextFree(prefixsymbol) ccremers 2005-12-28 11:50:17 +00:00
  • ccc4c34823 - Added '--remove-claims' switch to cut off all existing claims. ccremers 2005-12-27 13:53:49 +00:00
  • ca4c5674ac - Added check for non-used variables. ccremers 2005-12-27 13:44:12 +00:00
  • 397298290b - Improved output significantly. ccremers 2005-12-27 12:24:12 +00:00
  • 5ff71fa661 - Some cleanup. - Added 'all-atacks' switch. ccremers 2005-12-27 12:01:17 +00:00
  • 28774cb94c - Moved dot output (finally) into a separate file, and made some minor improvements. ccremers 2005-12-27 11:50:46 +00:00
  • c4628e8be6 - Added support for more intelligent bounding. Fairly untested at the moment. ccremers 2005-12-27 11:19:45 +00:00
  • c20810def5 - Added preliminary support for singular attack output. ccremers 2005-12-27 10:49:22 +00:00
  • ff503b24af - Added some todo stuff for the very near future. ccremers 2005-12-26 16:45:16 +00:00
  • cb2aef3915 - Old state/time info has now been removed. This was only needed for the POR engine anyway, so that's where it is shown now. ccremers 2005-12-26 16:28:45 +00:00
  • 32f226f782 - Better switches explanation. ccremers 2005-12-22 12:33:35 +00:00
  • aae3cd70cb - Lowered default number of runs to 5. ccremers 2005-12-22 12:27:34 +00:00
  • 0259b2302c - Changed default behaviour: -d is needed to get dot output. ccremers 2005-12-22 12:24:27 +00:00
  • 44e8771de8 - Remove spdl subdirectory: it is now part of the ecss repository. ccremers 2005-12-22 10:52:11 +00:00
  • 34484a28f9 - Added two simple demos. ccremers 2005-12-22 10:44:50 +00:00
  • 15a56b07fc - Cleanup. ccremers 2005-12-22 10:41:23 +00:00
  • 7ee029dc41 - Also moved nsl3. ccremers 2005-12-22 10:40:21 +00:00
  • 64f041e176 - Moved many old protocols to the misc directory. ccremers 2005-12-22 10:38:00 +00:00
  • e82ce8b962 - Added --no-intruder switch, but it is currently broken. ccremers 2005-12-21 19:02:41 +00:00
  • 00e49601eb - Modified the multinsl generator to also be able to generate bke variants (--protocol bke). ccremers 2005-12-21 18:44:34 +00:00
  • aab5328a9b - Added a note. ccremers 2005-12-09 13:15:34 +00:00
  • 87de97d578 - More Python help. ccremers 2005-12-05 15:51:25 +00:00
  • b5f627054e - Some improvements to Python usage. ccremers 2005-12-05 15:35:00 +00:00
  • 40d5991ad0 - Added some notes. - Added extraction of asymmetric keys. ccremers 2005-12-05 14:58:35 +00:00
  • f3f381cb36 - Big progess. Nonces are renamed automatically, knowledge updates are handled. ccremers 2005-12-05 14:28:09 +00:00
  • 35b9c84fc9 - Loop detection added, ignoring them for now. ccremers 2005-12-05 11:26:05 +00:00
  • cd8f8db0a8 - Better parsing of multiple branching constructs. TODO: No handling of loops yet. ccremers 2005-12-05 11:16:06 +00:00
  • 21834257a2 - Added session data. ccremers 2005-12-04 18:43:37 +00:00
  • 6958516d70 - Improvements troughout. ccremers 2005-12-04 18:42:24 +00:00
  • 9e2a144e5f - Skeleton output of messages is done. ccremers 2005-12-04 16:41:43 +00:00
  • 951794a7ac - Added spdl generator initials. ccremers 2005-12-04 14:46:37 +00:00
  • 8dd9dfb901 - Nice, we can almost extract the messages now. ccremers 2005-12-04 13:58:50 +00:00
  • cb62517cd9 - Rewrote quite some code, better basic Message handling. ccremers 2005-12-04 13:28:05 +00:00
  • 4a638edb72 - Much progress made. However, still an empty encrypted term. ccremers 2005-12-03 17:39:35 +00:00
  • 7637d8a263 - More improvements. ccremers 2005-12-03 16:48:10 +00:00
  • 290e5a8b5c - Started a new Ifparser. ccremers 2005-12-03 16:12:58 +00:00
  • 8f222c9bb7 - Slow, but seems to work like a charm. ccremers 2005-11-29 15:00:36 +00:00
  • dbc5d62ef6 - Much improved parser. ccremers 2005-11-29 14:16:36 +00:00