392 search results - page 2 / 79 » Secure Software Engineering: A New Paradigm |
ACSAC
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper questions the status quo regarding Security Management (SM) tools that function in an isolated, monolithic fashion. People work best by interacting with others and with...
CATA
2003
13 years 6 months ago
2003
This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...
CISIS
2010
IEEE
14 years 6 days ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
DAGSTUHL
2007
13 years 6 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
SIGCSE
2008
ACM
13 years 5 months ago
2008
ACM
The annual ACM International Collegiate Programming Contest produces a competitive paradigm that is at odds with the pedagogical goals of modern computer science and software engi...