i totally understand the box model. this question is more about trying to pin down a semantic methodology regarding when to use margins and when to use padding.
Personally, I prefer option A. Why? Say now I have to add other HTML elements into the div and I want the padding to be maintained, I would not have to add other rules to my CSS files to get it working.