ich habe schon mit Aladdin gearbeitet, ist aber schon ewig her und ich hatte damals keine Auswahlmöglichkeit (wurde von oben bestimmt). Einbindung war über ein
API.
Interessant dürfte auch WIBU sein, zumindest wurde dieser im eigens ausgeschriebenen Hacker's Contest nicht geknackt (siehe
hier)