8623 search results - page 205 / 1725 » Software engineering for secure systems |
150
click to vote
JCS
2002
15 years 4 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
152
click to vote
MMSEC
2006
ACM
15 years 10 months ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...
150
click to vote
COMSWARE
2008
IEEE
15 years 11 months ago
2008
IEEE
— We design a framework that implements security at the TCP layer to meet the necessity for a practical and truly end-to-end security solution. We call our framework TCPsec. TCPs...
167
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
145
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...