Skip to main content
Springer Nature Link
Log in

Intention Semantics and Trust Evidence

  • Chapter
  • First Online:
ISSE 2012 Securing Electronic Business Processes

  • 1252 Accesses

Abstract

When technologists develop trust, security and privacy features in devices, applications, networks, and systems, they plan for certain functionality and outcomes. Early stages of planning include threat modelling, vulnerability analysis as well as formal or informal development practices that are aimed at fulfilling the security objectives. But with the complexity of today’s systems, interoperability requirements and other adaptations and the nature of the development processes, the actual outcomes and resulting security features frequently do not reflect or do not reflect completely the intent of the developers.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Literatur

  1. Abadi, M., Budiu, M., Erlingsson, U., Ligatti, J. Control-flow integrity principles, implementations, and applications. ACM Transactions on Information and System Security, Vol. 13, No 1 (October 2009).

    Google Scholar 

  2. Bratus, S. Locasto, M., Patterson, M., Sassaman, L., and Shubina, A. Exploit programming: from buffer overflows to “weird machines” and theory of computation.;login:, Vol. 26, No. 6 (December 2011).

    Google Scholar 

  3. Peter Buneman, James Cheney, and Stijn Vansummeren..On the expressiveness of implicit provenance in query and update languages. ACM Transactions on Database Systems,33(4):28, November 2008.

    Google Scholar 

  4. Peter Buneman, Sanjeev Khanna, and Wang Chiew Tan. Why and where: A characterization of data provenance. In ICDT, number 1973 in LNCS, pages 316–330. Springer, 2001.

    Google Scholar 

  5. Peter Buneman, Sanjeev Khanna, and Wang-Chiew Tan. On propagation of deletions and annotations through views. In PODS, pages 150–158, 2002.

    Google Scholar 

  6. Chandola, V., Banerjee, A., and Kumar, V. Anomaly detection: A survey. ACM Computing Surveys. Vol 41, No 3, (July 2009).

    Google Scholar 

  7. E. Denney and B. Fischer. Software Certication and Software Certication Management Systems. In SoftCement05. Proceedings of the 2005 ASE Workshop on Software Certificate Management, 2005.

    Google Scholar 

  8. Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, and Bjarne Stroustrup.2008. Verification and semantic parallelization of goal-driven autonomous software. In Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems(Autonomics ‘08). ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), ICST, Brussels

    Google Scholar 

  9. Pei, J., Upadhyaya, S. J., Farooq, F., and Govindaraju, V. Data Mining for Intrusion Detection - Techniques, Applications and Systems. ICDE Tutorial, (2004).

    Google Scholar 

  10. Riemenschneider, C.K.; Hardgrave, B.C.; Davis, F.D. Explaining software developer acceptance of methodologies: a comparison of five theoretical models, Software Engineering, IEEE Transactions on, vol.28, no.12, pp. 1135- 1145, Dec 2002

    Google Scholar 

  11. H Saiedian, R Dale, Requirements engineering: making the connection between the software developer and customer, Information and Software Technology, Volume 42, Issue 6, 15 April 2000, Pages 419-428

    Google Scholar 

  12. Ji Zhang, Betty H.C. Cheng. Using temporal logic to specify adaptive program semantics, Journal of Systems and Software, Volume 79, Issue 10, October 2006, Pages 1361-1369.

    Google Scholar 

  13. A. Lakhina, M. Crovella, and C. Diot. Mining anomalies using traffic feature distributions. SIGCOMM ‘05: Proceedings of the 2005 conference on applications, technologies, architectures, and protocols for computer communications, (2005).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Intel Corporation, Swindon, UK

    Claire Vishik, David Ott & David Grawrock

Authors
  1. Claire Vishik
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Ott
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. David Grawrock
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Claire Vishik .

Editor information

Editors and Affiliations

  1. DuD Datenschutz und Datensicherung, TeleTrust Deutschland e.V., Eichendorffstr. 16, Erfurt, 99096, Thüringen, Germany

    Helmut Reimer

  2. Bornhoefferstr. 40a, Aachen, 52078, Germany

    Norbert Pohlmann

  3. Abraham-Lincoln-Str. 46, Wiesbaden, 65189, Germany

    Wolfgang Schneider

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer Fachmedien Wiesbaden

About this chapter

Cite this chapter

Vishik, C., Ott, D., Grawrock, D. (2012). Intention Semantics and Trust Evidence. In: Reimer, H., Pohlmann, N., Schneider, W. (eds) ISSE 2012 Securing Electronic Business Processes. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-00333-3_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-658-00333-3_23

  • Published:

  • Publisher Name: Springer Vieweg, Wiesbaden

  • Print ISBN: 978-3-658-00332-6

  • Online ISBN: 978-3-658-00333-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics