Avantssar Library

CASE STUDIES
Electronic Commerce Anonymous Shopping
IDMXBase.aslan++
IDMXScene1_Safe.aslan++
IDMXScene2_Safe.aslan++
IDMXScene3_Safe.aslan++
Banking Services Loan Origination
lop-scene1.aslan
lop-scene2.aslan
Document Exchange Procedures Digital Contract Signing
dcs-scene1.aslan++
dcs-scene2.aslan++
dcs-scene3.aslan++
DCS-GoalStyleInput.ORCH.aslan
DCS.ORCH.aslan

Public Bidding
pb_scene1.aslan++
pb_scene2.aslan++
pb-elig.aslan
Personal Health Information Electronic Health Record
ECR.aslan++
eHRMS.txt

Process Task Delegation
PTD.aslan++
PTD_PC.aslan++
PTD_VisaBank.aslan++

SAML Single Sign-On
SAML-based_SSO_for_GoogleApp.aslan++
SAML-based_SSO_for_GoogleApp.hlpsl++
IdP_init-BC.hlpsl++
IdP_init-FC.hlpsl++
SP_init-BC-two_channels.hlpsl++
SP_init-FC-one_channel.hlpsl++
Citizen and Service Portals Car Registration
CRP.dyn.aslan++

Visa Application
PTD_VisaBank.aslan++
TEST LIBRARY
ActorSubtypeAgent_Unsafe.aslan
ActorSubtypeAgent_Unsafe.aslan++
Assert_Safe.aslan++
Assert_Unsafe.aslan++
Assignment_Unsafe.aslan++
Boolean_Unsafe.aslan++
Branches_Unsafe.aslan++
ChannelGoalsAuth2_Unsafe.aslan++
ChannelGoalsAuthDishonest_Safe.aslan++
ChannelGoalsAuthGuards_Unsafe.aslan++
ChannelGoalsAuth_Safe.aslan++
ChannelGoalsAuth_Unsafe.aslan++
ChannelGoalsFresh_Unsafe.aslan++
ChannelGoalsSecrecy_handcrafted_Safe.aslan
ChannelGoalsSecrecy_Safe.aslan++
ChannelGoalsSecrecy_Unsafe.aslan++
ChannelSecureOrder_Unsafe.aslan++
Channels_Safe.aslan++
Channels_Unsafe.aslan++
CompoundType_Unsafe.aslan++
CryptSign_Unsafe.aslan++
CryptSignVar_Unsafe.aslan++
Descendant_Safe.aslan++
Descendant_Unsafe.aslan++
DiffieHellman_Safe.aslan++
DKAL_Minimal_Safe.aslan++
EmptyTrace_Unsafe.aslan++
EqualsFnc_Unsafe.aslan++
EqualsQuantification_Safe.aslan++
EqualsSimple_Unsafe.aslan++
Equals_Unsafe.aslan++
equal_test_1_Safe.aslan
equal_test_1_Unsafe.aslan
equal_test_2_Safe.aslan
equal_test_2_Unsafe.aslan
equal_test_3_Safe.aslan
equal_test_3_Unsafe.aslan
equal_test_4_Safe.aslan
equal_test_4_Unsafe.aslan
equal_test_5_Safe.aslan
equal_test_5_Unsafe.aslan
equal_test_6_Safe.aslan
equal_test_6_Unsafe.aslan
Equations_Unsafe.aslan++
HornClauseEquality_Safe.aslan++
HornClauseEquality_Unsafe.aslan++
HornClauseInequality_Safe.aslan++
HornClauseInequality_Unsafe.aslan++
Horn_Refl_Trans_Safe.aslan++
Horn_Refl_Trans_Unsafe.aslan++
Horn_Safe.aslan++
Horn_Trans_limited_Unsafe.aslan++
Horn_Unsafe.aslan++
InvertibleFuncs_Safe.aslan++
InvertibleFuncs_Unsafe.aslan++
Invertible_Unsafe.aslan++
LoopSelect_Unsafe.aslan++		 Loop_Unsafe.aslan++
LTLFinally_Safe.aslan++
LTLFinally_Unsafe.aslan++
LTLGlobally0_Unsafe.aslan++
LTLGlobally_Safe.aslan++
LTLGlobally_Unsafe.aslan++
LTLInvariant_Unsafe.aslan++
LTL_request_witness_Unsafe.aslan++
LumpingFacts_Unsafe.aslan++
Math_Unsafe.aslan++
Names_Unsafe.aslan++
NegativeFacts_Unsafe.aslan++
NSPK_Cert_Cneq_Unsafe.aslan++
NSPK_Cert_Unsafe.aslan++
NSPK_Lowe_Safe.aslan++
NSPK_Unsafe.aslan++
pagina.html
PrivateConsts_Safe.aslan++
PrivateConsts_Unsafe.aslan++
PrivateFuncs_Safe.aslan++
PrivateFuncsSimple_Safe.aslan++

PrivateFuncsSimple_Unsafe.aslan++
PrivateFuncs_Unsafe.aslan++
Pseudonyms_Unsafe.aslan++
Public_Unsafe.aslan++
RootEntity_Unsafe.aslan++
ScopingMacros_Unsafe.aslan++
Scrypt_Unsafe.aslan++
SecrecyGoalsCompromised_handcrafted_Safe.aslan
SecrecyGoalsCompromised_handcrafted_Unsafe.aslan
SecrecyGoalsCompromised_Safe.aslan++
SecrecyGoals_Safe.aslan++
SecrecyGoalsSimple_Unsafe.aslan++
SecrecyGoals_Unsafe.aslan++
SendReceive2ACM_Unsafe.aslan++
SendReceive2ICM_Safe.aslan++
SessionGen_Unsafe.aslan++
SetsChoice_Unsafe.aslan++
SetsGlobalChanges_Unsafe.aslan++
SetsGlobalIntruderChanges_Unsafe.aslan++
SetsHorn_Unsafe.aslan++
SetsSimple_Unsafe.aslan++
Sets_Unsafe.aslan++
SharedDB_Unsafe.aslan++
SharedFact_Unsafe.aslan++
SharedVariable1_Unsafe.aslan++
SharedVariable2_Unsafe.aslan++
SharedVariable_Unsafe.aslan++
SubtypeAgent_Unsafe.aslan++
SymbSessionGen_handcrafted_Unsafe.aslan
SymbSessionGenInit_handcrafted_Unsafe.aslan
SymbSessionGen_Safe.aslan++
SymbSessionGen_Unsafe.aslan++
TLS_SessionsOrder.aslan++
Tuples_Concatenation_Unsafe.aslan++
Uninitialized_Unsafe.aslan++
WrongKey_Safe.aslan++