| 
|
QuoteRef: mitcJC1_2001
topics >
all references >
ThesaHelp:
references m-o
Topic:
type-safe and secure languages
Group:
security
Topic:
limitations of system security
Reference
Mitchell, J.C., "Programming language methods in computer security", Principles of Programming languages (POPL '01), London, UK, January 2001, pp. 1-3. Google
1 ;;Quote: correct if correct input leads to correct output; secure if arbitrary inputs do not have undesired consequences
1 ;;Quote: security is relative; a security proof requires a model of the system and a model of the attacker
ThesaHelp: references m-o (268 items)
Topic: type-safe and secure languages (42 items)
Group: security (23 topics, 802 quotes)
Topic: limitations of system security (32 items)