3003 search results - page 23 / 601 » Software Security: Building Security In |
SOFTWARE
2002
13 years 7 months ago
2002
SOFTWARE
2002
13 years 7 months ago
2002
CN
1999
13 years 7 months ago
1999
Secure coprocessors enable secure distributed applications by providing safe havens where an application program can Z .execute and accumulate state , free of observation and inte...
AGENTS
2001
Springer
14 years 18 hour ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...