626 search results - page 23 / 126 » Analysing Security Requirements of Information Systems Using... |
CCS
2008
ACM
14 years 8 days ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
OOPSLA
1998
Springer
14 years 2 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
e-Government operations are increasing with citizen demand for timely and cost effective services. Security associated with individual systems is similar to many e-commerce soluti...
PKDD
1999
Springer
14 years 2 months ago
1999
Springer
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...
SECURWARE
2007
IEEE
14 years 4 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...