Enron Email Database UseCase Doc

Enron Email Database UseCase Documents

Original Enron Email Database

Data Set

Enron Data is From here

Schema

• employee(eid, firstname, lastname, email_id, email2, email3, email4, folder, status)

  • size: 149 tuples

• message(mid, sender, date, message_id, subject, body, folder) 

  • size: 252771 tuples

• recipientinfo(rid, mid, rtype, rvalue, dater) 

  • size: 2064442 tuples

• referenceinfo(rfid, mid, reference) 

  • size: 54778

Enron Email Variational Database

1. Schema

• v_employee(eid, firstname, lastname, email_id, folder, status, sign, public_key, did, presCond)

  • sign is responded to signature
  • public_key is responded to encrypt
  • did is responded to mailhost

• v_message(mid, sender, date, message_id, subject, body, folder, is_signed, is_encrypted, presCond) 

  • is_signed is responded to signature
  • is_encrypted is responded to encrypt

• v_recipientinfo(rid, mid, rtype, rvalue, presCond) 

• v_referenceinfo(rfid, mid, reference,presCond) 

• v_auto_msg(eid, subject, body, presCond)

  • whole table will depend on autoresponder

• v_forward_msg(eid, forwardaddr, presCond)

  • whole table is responded to forwardmessage

• v_remail_msg(eid, pseudonym, presCond)

  • whole table is responded to remailmessage

• v_filter_msg(eid, suffix, presCond)

  • whole table is responded to filtermessages

• v_mailhost(did, username, presCond)

  • whole table is responded to mailhost

• v_alias(eid, email, nickname, presCond)

  • whole table is responded to addressbook

2. Features in Enron Email V-DB

• signature
• addressbook
• filtermag
• autoresponder
• forwardmsg
• mailhost
• encrypt
• remailmsg

3. Presence condition value in 3 different configuration

• c1: signature AND addressbook AND filtermag AND (NOT autoresponder) AND (NOT forwardmsg) AND (NOT mailhost) AND ( NOT encrypt) AND (NOT remailmsg)

• c2: signature AND addressbook AND filtermag AND autoresponder AND forwardmsg AND mailhost AND ( NOT encrypt) AND (NOT remailmsg)

• c3: signature AND addressbook AND filtermag AND autoresponder AND forwardmsg AND mailhost AND encrypt AND remailmsg

References

1. Fundamental Nonmodularity in Electronic Mail
2. SPLverifier: Model Checking of Software Product Lines
3. Feature-Aware Verification
4. SPL2go-Email JML
5. SPL2go-EmailSystem_C
6. SPL2go-EmailSystem_Java