Internet Explorer is an unclear system.
My goal is to make it produce some special results.
This is an old topic - a task can be divided
into small tasks.
Something like Attack Tree:
http://www.counterpane.com/attacktrees-ddj-ft.html
and I got some ideas about this old methodology
here:
http://www.safecenter.net/crosszone/ie/Dir-IEDir.htm
Dealing with Unclear System:
The system is unclear(beyond my capacity to fully understand
it), and I control its input, my job is: make it produce some special output.
How can I achive the goal?
[1]I understand some processes in the system.
[2]I can control those processes by controling input.
Methodology:Modeling to reach [1]
Modal logic: http://plato.stanford.edu/entries/logic-modal/
Methodology: Add needles to the input to reach [2]
Model theory: http://plato.stanford.edu/entries/model-theory/
S stands for a
sentence. V stands for an input. W stands for an
output.
V<Mod(S) means V satisfies S. !
means NOT
If such Xn exists:
V<Mod(S)-->Xn<Xp
AND
V !< Mod(S)-->Xn !<Xp
Then S is a needle. Give
needle a special letter n.
I focus my mind on Methodology: Add needles
to the input to reach [2]
App.1: 2FforMSIE: http://umbrella.mx.tc/ --> 2FforMSIE section
N = Url contains percentage-encoded char(s).
Xp = Caculate domain. Xn = decode %-encoded char(s).
The chanllenge is How to add needle(s) into input.
N =The number of windows reaches the limit. Xp =popup
download prompt. Xn = dialog fails to pop up.
The chanllenge is get n and Xn .
Please note one n may have many
corrosponding Xn's.