716 search results - page 42 / 144 » Security Requirements Engineering: A Framework for Represent... |
CSFW
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
AISM
2004
13 years 10 months ago
2004
Although, many organisations have implemented technical solutions to protect information resources from adverse events, internal security breaches continue to occur. Therefore an ...
ECMDAFA
2006
Springer
14 years 14 days ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...