Journal of Computer Security - Volume 13, issue 3 - Journals

<!doctype html>   <html class="no-js" xmlns:mml="http://www.w3.org/1998/Math/MathML" lang="en">  <head> <meta charset="utf-8"> <title>Journal of Computer Security - Volume 13, issue 3 - Journals - IOS Press</title> <meta name="viewport" content="width=device-width, initial-scale=1.0">    <meta name="citation_title" content="Journal of Computer Security - Volume 13, issue 3 - Journals"> <meta name="citation_journal_title" content="Journal of Computer Security"> <meta name="citation_issn" content="0926-227X"/> <meta name="citation_volume" content="13"/> <meta name="citation_issue" content="3"/> <meta name="citation_publisher" content="IOS Press"> <meta name="format-detection" content="telephone=no" /> <link rel="search" href="/opensearch.xml?title=Scolaris&autocompletePath=%2Fautocomplete%3Fq%3D%7BsearchTerms%7D" type="application/opensearchdescription+xml" title="Scolaris" /> <link href='//fonts.googleapis.com/css?family=PT+Sans:400,700%7CPT+Serif:400,700' rel='stylesheet' type='text/css'> <link rel="stylesheet" href="https://content.iospress.com:443/static/less/journals.less.css@2.6.8-2-gb19ff93" /> <script src="https://content.iospress.com:443/static/js/libs/modernizr-2.5.3.min.js@2.6.8-2-gb19ff93"></script> <link rel="shortcut icon" href="https://content.iospress.com:443/static/img/favicon.ico@2.6.8-2-gb19ff93" />  <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= 'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); })(window,document,'script','dataLayer','GTM-PJ8NZ9C');</script>  </head> <body class="page-journals loading" data-baseurl="https://content.iospress.com:443/" data-git="@2.6.8-2-gb19ff93" data-p13n="no" data-saved-alerts="true" data-ecommerce="true" data-shibboleth="true" data-default-counter="true" > <div class="no-js-message"> <i class="icon-warning-sign" role="presentation"></i> You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly. </div>  <noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-PJ8NZ9C" height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript> <script> (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) })(window,document,'script','//www.google-analytics.com/analytics.js','ga'); ga('create', 'GTM-PJ8NZ9C', 'auto'); ga('send', 'pageview'); </script>  <a href="#header-skiplink" class="skiplinks">Go to header</a><a href="#nav-skiplink" class="skiplinks">Go to navigation</a><a href="#search-bar" class="skiplinks">Go to search</a><a href="#content" class="skiplinks">Go to contents</a><a href="#footer-skiplink" class="skiplinks">Go to footer</a> <div class="header-block"> <header id="header" class="header block"> <a href="#nav-skiplink" class="skiplinks" id="header-skiplink">In header section. Select this link to jump to navigation</a> <div class="container"> <div class="logo" style="width: 35%"> <a href="https://content.iospress.com:443/" title="Home" class="header-home-link"> <img src="https://content.iospress.com:443/static/img/latest_header_img.png@2.6.8-2-gb19ff93" alt="IOS Press" style="max-width: 80%"/> </a> </div> <div class="header-menu clearfix"> <ul class=""> <li class=""><a href="https://content.iospress.com:443/page/help">Help</a></li> <li class=""><a href="https://content.iospress.com:443/page/about">About us</a></li> <li class=""><a href="https://content.iospress.com:443/page/contact">Contact us</a></li> </ul> </div> </div> </header> <nav id="nav" class="nav"> <a href="#content" class="skiplinks" id="nav-skiplink">In navigation section. Select this link to jump to content</a> <div class="menu-mobile js-toggle-handle"> <a class="menu-mobile-text" href="#" title="Main menu"> Menu</a> </div> <div class="container nav-menu-dropdown toggle-section clearfix"> <ul class="nav-item nav-main">  <li class="nav-item"><a href="https://content.iospress.com:443/">Home</a></li> <li class="nav-item selected"><a href="https://content.iospress.com:443/journals/">Journals</a></li> </ul> <ul class="nav-item nav-sp-side nav-sub clearfix"> <li> <form class="getCartForm" id="getCart" method="get" action="https://content.iospress.com:443/cart"> <button class="getCartButton"> <i class="icon-shopping-cart"></i> Cart <span class="shopping-cart"> </span> </button> <input type="hidden" name="dest" value="https://content.iospress.com/journals/journal-of-computer-security/13/3" /> <span class="currency-section"> <span class="selected-currency">€</span> <button class="currency-change" data-currency="US_DOLLAR"><span class="visuallyhidden">title="Change currency to USD - US Dollar"</span>$</button> </span> </form> </li> <li> <a id="p13n-menu" href="/login?dest=https://content.iospress.com:443/" data-recaptchasitekey="6LfnJVIUAAAAAE-bUOMg0MJGki4lqSvDmhJp19fN"> Log in / Register </a> <div id="p13n-dd" class="p13n-dd"></div> <div class="p13n-modal-overlay"></div> <div id="p13n-history" data-uri="https://content.iospress.com:443/checkout/purchase-history"></div> </li> </ul> </div> </nav> <div id="search" class="search-complex" role="search"> <div class="container"> <form id="search-form" action="https://content.iospress.com:443/search" class="search-form block clearfix"> <div class="wrap-input clearfix"> <i role="presentation" class="icon-search"></i> <label for="search-bar" class="visuallyhidden">Search</label> <input id="search-bar" type="search" name="q" placeholder="Search" class="search-query search-input focused" value="" required="required"> <button type="submit" class="search-btn btn">Search</button> <input name="published_between" type="hidden" /> <input name="from_year" type="hidden" /> <input name="to_year" type="hidden"/> </div> </form> <div class="search-row second-search-row clearfix"> <form id="peer-review-form"> <label class="search-label published-label" for="published-between"> <input id="published-between" name="published_between" type="checkbox" /> Published between: </label> <label class="visuallyhidden" for="from-year">Published from year:</label> <input class="tinput search-year search-year-from" id="from-year" name="from_year" type="text" placeholder="YYYY" pattern="\d{4,4}" /> <span>and</span> <label class="visuallyhidden" for="to-year">Published to year:</label> <input class="tinput search-year" id="to-year" name="to_year" type="text" placeholder="YYYY" pattern="\d{4,4}" /> <a class="search-syntax" href="#">Search syntax help</a> </form> </div> <div id="search-syntax" class="search-helptext"> <div class='container'> <div class="search-row search-syntax-row clearfix"> <div class="search-syntax-content"> <p class='intro'>Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.</p> <dl> <dt>Boolean operators</dt> <dd>This <strong>OR</strong> that<br />This <strong>AND</strong> that<br />This <strong>NOT</strong> that</dd> <dt>Must include "This" and "That"</dt> <dd>This That</dd> <dt class="grouped">Must not include "That"</dt> <dd class="grouped">This -That</dd> <dt class="grouped">"This" is optional</dt> <dd class="grouped">This +That</dd> <dt>Exact phrase "This That"</dt> <dd>"This That"</dd> <dt>Grouping</dt> <dd>(this <strong>AND</strong> that) <strong>OR</strong> (that <strong>AND</strong> other)</dd> </dl> </div> </div> </div> </div> </div> </div> </div> <div class="container main-container"> <a href="#nav-skiplink" class="skiplinks" id="content">In content section. Select this link to jump to navigation</a> <script> ga('set', 'dimension3',"Journal of Computer Security"); ga('set', 'metric2', 1 ); ga('set', 'dimension4',"Volume 13"); ga('set', 'metric3', 1 ); ga('set', 'metric4', 1 ); ga('set', 'dimension5',"Issue 3"); ga('send', 'pageview', "/Journal of Computer Security/"); </script> <script>window.latestLoadTimestamp=1739893923824;</script> <div class="block journal-overview shadow border"> <div class="journal-overview-header block"> <div class="main col"><h1>Journal of Computer Security - Volume 13, issue 3</h1></div> <span class="main col"><div class="pricing-journal"> <p>Purchase individual online access for 1 year to this journal.</p> <strong>Price: EUR 260.00</strong> <form class="add-to-cart-form" id="add-JournalId_jcs" action="https://content.iospress.com:443/cart/add" method="post"> <input type="hidden" name="dest" value="https://content.iospress.com/journals/journal-of-computer-security/13/3" /> <input type="hidden" name="id" value="JournalId_jcs" /> <button class="btn btn-arrow btn-cart add-single"><i class="icon-shopping-cart" role="presentation"></i> Add to cart</button> </form> </div></span> <span class="sidebar col" data-toc="Journal of Computer Security" data-toc-url="q=s2_parent_title_id%3Ajournal-of-computer-security" data-toc-journal-uri="journals/journal-of-computer-security" data-toc-q="s2_parent_title_id:journal-of-computer-security" data-toc-journal-name="Journal of Computer Security"> <span class="p13n-toc"> <button class="btn btn-p13n save-toc open-p13n-modal">Enable new issue alert</button> </span> </span> </div> <div class="journal-info block"> <div class="main col"> <div class="journal-cover col col-1by4"> <div class="journal-cover-img"> <img id="journal-of-computer-security-image" data-mercury="image" src="/fragr/images/JCS_21.jpg" /> </div> <div id="journal-of-computer-security-data" data-mercury="full" class="journals-data">ISSN 0926-227X (P) <br />ISSN 1875-8924 (E) <dl> </dl></div> </div> <div class="journal-details col col-3by4"> <div id="journal-of-computer-security-above-fold" data-mercury="full" class="clearfix above-fold details"><p><b>Impact Factor 2024: 0.9</b></p> <p>The <i>Journal of Computer Security</i> presents research and development results of lasting significance in the theory, design, implementation, analysis, and application of secure computer systems. It also provides a forum for ideas about the meaning and implications of security and privacy, particularly those with important consequences for the technical community.</p></div> <div id="journal-of-computer-security-below-fold" data-mercury="full" class="clearfix below-fold details toggle-section"><p>The journal provides an opportunity to publish articles of greater depth and length than is possible in the proceedings of various existing conferences, while addressing an audience of researchers in computer security who can be assumed to have a more specialized background than the readership of other archival publications. The journal welcomes contributions on all aspects of computer security: confidentiality, integrity, and assurance of service - that is, protection against unauthorized disclosure or modification of sensitive information, or denial of service. Of interest is a precise understanding of security policies through modelling, as well as the design and analysis of mechanisms for enforcing them, and the architectural principles of software and hardware systems implementing them.</p></div> <button class="btn btn-link js-toggle-handle"><span class="toggle-text-handle">Show more</span><span class="toggle-text-handle toggle-text-hide">Show less</span></button> </div> </div> <div class="sidebar col"> <div id="journal-of-computer-security-action-links" data-mercury="full" class="action-links"><a target="_blank" href="http://www.iospress.nl/recommend-this-title/?title=Journal%20of%20Computer%20Security&url=www.iospress.nl/journal/journal-of-computer-security/"></a> <a href="https://journals.sagepub.com/home/jcu" target="_blank"><img src="/fragr/images/J25_4629 IOS have moved ad for HW platform_268x268.jpg" /></a> <br /> <br /> <a href="http://www.iospress.nl/journal/journal-of-computer-security/?tab=submission-of-manuscripts"></a></div> </div> </div> </div> <div class="volume-listing main col"> <div class="col-spacing"> <div class="search-content border shadow"> <div class="search-result-header clearfix"> <div class="search-results-bulk-action bulk-action clearfix"> <button id="mark-toggle" class="btn-link mark-toggle"><i class="icon-check-empty" id="mark-all"></i><span> Mark all</span></button> <form class="add-to-cart-form add-marked-to-cart" action="https://content.iospress.com:443/cart/add" method="post"> <input type="hidden" name="dest" value="https://content.iospress.com/journals/journal-of-computer-security/13/3" /> <button class="btn btn-link btn-cart add-multiple disabled" disabled>Add marked to cart</button> </form> <form class="add-marked get-citation" method="post"> <button class="btn btn-link cite-multiple disabled" disabled>Export marked citations</button> </form> </div> </div> <div id="article-list"> <div class='result-item-wrapper'> <div class="result-item dc_type-journal-article " data-itemid="journal-of-computer-security/jcs247"> <div class="result-item-header"> <button class="icon-check-empty toggle-selection" data-cite-id="journal-of-computer-security/jcs247" data-itemid="ArticleId_jcs247"><span class="visuallyhidden">Select this result for bulk action</span></button> <h2 class="result-item-title book-title" data-p13n="journal-article" data-p13n-uri="https://content.iospress.com:443/articles/journal-of-computer-security/jcs247" data-p13n-articleid="journal-of-computer-security/jcs247" data-p13n-title=" Guest editor's preface "   <a href="https://content.iospress.com:443/articles/journal-of-computer-security/jcs247"> Guest editor's preface </a> </h2> </div> <div class="front-meta-data"> <p class="metadata-entry"><span class="generated">Authors: </span> <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Focardi%2C+Riccardo%22%29">Focardi, Riccardo</a> </p> <p class="metadata-entry"><span class="generated">Article Type:</span> Editorial </p> <p class="metadata-entry"> <span class="generated">DOI: </span>10.3233/JCS-2005-13301 </p> <p class="metadata-entry"><span class="generated">Citation: </span> <a href="https://content.iospress.com:443/journals/journal-of-computer-security">Journal of Computer Security</a>, vol. 13, no. 3, pp. 345-345, 2005 </p> </div> <div class="pricing"> <a href="https://content.iospress.com:443/download/journal-of-computer-security/jcs247?id=journal-of-computer-security%2Fjcs247" class="btn btn-download btn-right get-pdf" target="_blank" data-articleid="journal-of-computer-security/jcs247" data-journal="Journal of Computer Security" data-volume="Volume 13" data-issue="Issue 3" data-article="Guest editor's preface"> <i class="icon-download-alt" role="presentation"></i>Get PDF </a> </div> </div> </div> <div class='result-item-wrapper'> <div class="result-item dc_type-journal-article " data-itemid="journal-of-computer-security/jcs234"> <div class="result-item-header"> <button class="icon-check-empty toggle-selection" data-cite-id="journal-of-computer-security/jcs234" data-itemid="ArticleId_jcs234"><span class="visuallyhidden">Select this result for bulk action</span></button> <h2 class="result-item-title book-title" data-p13n="journal-article" data-p13n-uri="https://content.iospress.com:443/articles/journal-of-computer-security/jcs234" data-p13n-articleid="journal-of-computer-security/jcs234" data-p13n-title=" Static validation of security protocols "   <a href="https://content.iospress.com:443/articles/journal-of-computer-security/jcs234"> Static validation of security protocols </a> </h2> </div> <div class="front-meta-data"> <p class="metadata-entry"><span class="generated">Authors: </span> <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Bodei%2C+Chiara%22%29">Bodei, Chiara</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Buchholtz%2C+Mikael%22%29">Buchholtz, Mikael</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Degano%2C+Pierpaolo%22%29">Degano, Pierpaolo</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Nielson%2C+Flemming%22%29">Nielson, Flemming</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Nielson%2C+Hanne+Riis%22%29">Nielson, Hanne Riis</a> </p> <p class="metadata-entry"><span class="generated">Article Type:</span> Research Article </p> <p class="metadata-entry"> <span class="generated">Abstract: </span> <span>We methodically expand protocol narrations into terms of a process algebra in order to specify some of the checks that need to be made in a protocol. We then apply static analysis technology to develop an automatic validation procedure for protocols. Finally, we demonstrate that these techniques suffice to identify several authentication flaws in symmetric and asymmetric key protocols such as Needham–Schroeder symmetric key, Otway–Rees, Yahalom, Andrew Secure RPC, Needham–Schroeder asymmetric key, and Beller–Chang–Yacobi MSR.</span> </p> <p class="metadata-entry"><span class="generated">Keywords: </span> Formal methods, program analysis, control flow analysis, process algebras </p> <p class="metadata-entry"> <span class="generated">DOI: </span>10.3233/JCS-2005-13302 </p> <p class="metadata-entry"><span class="generated">Citation: </span> <a href="https://content.iospress.com:443/journals/journal-of-computer-security">Journal of Computer Security</a>, vol. 13, no. 3, pp. 347-390, 2005 </p> </div> <div class="pricing"> <strong>Price: EUR 27.50</strong> <form class="add-to-cart-form" id="add-ArticleId_jcs234" action="https://content.iospress.com:443/cart/add" method="post"> <input type="hidden" name="dest" value="https://content.iospress.com/journals/journal-of-computer-security/13/3" /> <input type="hidden" name="id" value="ArticleId_jcs234" /> <button class="btn btn-arrow btn-cart add-single"><i class="icon-shopping-cart" role="presentation"></i> Add to cart</button> </form> </div> </div> </div> <div class='result-item-wrapper'> <div class="result-item dc_type-journal-article " data-itemid="journal-of-computer-security/jcs235"> <div class="result-item-header"> <button class="icon-check-empty toggle-selection" data-cite-id="journal-of-computer-security/jcs235" data-itemid="ArticleId_jcs235"><span class="visuallyhidden">Select this result for bulk action</span></button> <h2 class="result-item-title book-title" data-p13n="journal-article" data-p13n-uri="https://content.iospress.com:443/articles/journal-of-computer-security/jcs235" data-p13n-articleid="journal-of-computer-security/jcs235" data-p13n-title=" Information flow in secure contexts "   <a href="https://content.iospress.com:443/articles/journal-of-computer-security/jcs235"> Information flow in secure contexts </a> </h2> </div> <div class="front-meta-data"> <p class="metadata-entry"><span class="generated">Authors: </span> <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Bossi%2C+Annalisa%22%29">Bossi, Annalisa</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Macedonio%2C+Damiano%22%29">Macedonio, Damiano</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Piazza%2C+Carla%22%29">Piazza, Carla</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Rossi%2C+Sabina%22%29">Rossi, Sabina</a> </p> <p class="metadata-entry"><span class="generated">Article Type:</span> Research Article </p> <p class="metadata-entry"> <span class="generated">Abstract: </span> <span>Information flow security in a multilevel system aims at guaranteeing that no high level information is revealed to low level users, even in the presence of any possible malicious process. This requirement could be stronger than necessary when some knowledge about the environment (context) in which the process is going to run is available. To relax this requirement we introduce the notion of secure contexts for a class of processes. This notion is parametric with respect to both the observation equivalence and the operation used to characterize the low level view of a process. As observation equivalence we consider the</span> <span class="fold-elip">…</span><span class="below-fold hidden" >cases of weak bisimulation and trace equivalence. We describe how to build secure contexts in these cases and we show that two well-known security properties, named BNDC and NDC, are just special instances of our general notion. </span> <a class="view-more-abstract" href="#">Show more</a> </p> <p class="metadata-entry"><span class="generated">Keywords: </span> Process algebra, contexts, bisimulation, trace equivalence, noninterference </p> <p class="metadata-entry"> <span class="generated">DOI: </span>10.3233/JCS-2005-13303 </p> <p class="metadata-entry"><span class="generated">Citation: </span> <a href="https://content.iospress.com:443/journals/journal-of-computer-security">Journal of Computer Security</a>, vol. 13, no. 3, pp. 391-422, 2005 </p> </div> <div class="pricing"> <strong>Price: EUR 27.50</strong> <form class="add-to-cart-form" id="add-ArticleId_jcs235" action="https://content.iospress.com:443/cart/add" method="post"> <input type="hidden" name="dest" value="https://content.iospress.com/journals/journal-of-computer-security/13/3" /> <input type="hidden" name="id" value="ArticleId_jcs235" /> <button class="btn btn-arrow btn-cart add-single"><i class="icon-shopping-cart" role="presentation"></i> Add to cart</button> </form> </div> </div> </div> <div class='result-item-wrapper'> <div class="result-item dc_type-journal-article " data-itemid="journal-of-computer-security/jcs236"> <div class="result-item-header"> <button class="icon-check-empty toggle-selection" data-cite-id="journal-of-computer-security/jcs236" data-itemid="ArticleId_jcs236"><span class="visuallyhidden">Select this result for bulk action</span></button> <h2 class="result-item-title book-title" data-p13n="journal-article" data-p13n-uri="https://content.iospress.com:443/articles/journal-of-computer-security/jcs236" data-p13n-articleid="journal-of-computer-security/jcs236" data-p13n-title=" A derivation system and compositional logic for security protocols "   <a href="https://content.iospress.com:443/articles/journal-of-computer-security/jcs236"> A derivation system and compositional logic for security protocols </a> </h2> </div> <div class="front-meta-data"> <p class="metadata-entry"><span class="generated">Authors: </span> <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Datta%2C+Anupam%22%29">Datta, Anupam</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Derek%2C+Ante%22%29">Derek, Ante</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Mitchell%2C+John+C.%22%29">Mitchell, John C.</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Pavlovic%2C+Dusko%22%29">Pavlovic, Dusko</a> </p> <p class="metadata-entry"><span class="generated">Article Type:</span> Research Article </p> <p class="metadata-entry"> <span class="generated">Abstract: </span> <span>Many authentication and key exchange protocols are built using an accepted set of standard concepts such as Diffie–Hellman key exchange, nonces to avoid replay, certificates from an accepted authority, and encrypted or signed messages. We propose a general framework for deriving security protocols from simple components, using composition, refinements, and transformations. As a case study, we examine the structure of a family of key exchange protocols that includes Station-To-Station (STS), ISO-9798-3, Just Fast Keying (JFK), IKE and related protocols, deriving all members of the family from two basic protocols. In order to associate formal proofs with protocol derivations, we extend</span> <span class="fold-elip">…</span><span class="below-fold hidden" >our previous security protocol logic with preconditions, temporal assertions, composition rules, and several other improvements. Using the logic, which we prove is sound with respect to the standard symbolic model of protocol execution and attack (the “Dolev–Yao model”), the security properties of the standard signature based Challenge-Response protocol and the Diffie–Hellman key exchange protocol are established. The ISO-9798-3 protocol is then proved correct by composing the correctness proofs of these two simple protocols. Although our current formal logic is not sufficient to modularly prove security for all of our current protocol derivations, the derivation system provides a framework for further improvements. </span> <a class="view-more-abstract" href="#">Show more</a> </p> <p class="metadata-entry"> <span class="generated">DOI: </span>10.3233/JCS-2005-13304 </p> <p class="metadata-entry"><span class="generated">Citation: </span> <a href="https://content.iospress.com:443/journals/journal-of-computer-security">Journal of Computer Security</a>, vol. 13, no. 3, pp. 423-482, 2005 </p> </div> <div class="pricing"> <strong>Price: EUR 27.50</strong> <form class="add-to-cart-form" id="add-ArticleId_jcs236" action="https://content.iospress.com:443/cart/add" method="post"> <input type="hidden" name="dest" value="https://content.iospress.com/journals/journal-of-computer-security/13/3" /> <input type="hidden" name="id" value="ArticleId_jcs236" /> <button class="btn btn-arrow btn-cart add-single"><i class="icon-shopping-cart" role="presentation"></i> Add to cart</button> </form> </div> </div> </div> <div class='result-item-wrapper'> <div class="result-item dc_type-journal-article " data-itemid="journal-of-computer-security/jcs237"> <div class="result-item-header"> <button class="icon-check-empty toggle-selection" data-cite-id="journal-of-computer-security/jcs237" data-itemid="ArticleId_jcs237"><span class="visuallyhidden">Select this result for bulk action</span></button> <h2 class="result-item-title book-title" data-p13n="journal-article" data-p13n-uri="https://content.iospress.com:443/articles/journal-of-computer-security/jcs237" data-p13n-articleid="journal-of-computer-security/jcs237" data-p13n-title=" Anonymity and information hiding in multiagent systems "   <a href="https://content.iospress.com:443/articles/journal-of-computer-security/jcs237"> Anonymity and information hiding in multiagent systems </a> </h2> </div> <div class="front-meta-data"> <p class="metadata-entry"><span class="generated">Authors: </span> <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Halpern%2C+Joseph+Y.%22%29">Halpern, Joseph Y.</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22O%27Neill%2C+Kevin+R.%22%29">O'Neill, Kevin R.</a> </p> <p class="metadata-entry"><span class="generated">Article Type:</span> Research Article </p> <p class="metadata-entry"> <span class="generated">Abstract: </span> <span>We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal logic of knowledge within the context of the runs and systems framework, much in the spirit of our earlier work on secrecy [13]. We give several definitions of anonymity with respect to agents, actions, and observers in multiagent systems, and we relate our definitions of anonymity to other definitions of information hiding, such as secrecy. We also give probabilistic definitions of anonymity that are able to quantify an observer's uncertainty about the state of the system.</span> <span class="fold-elip">…</span><span class="below-fold hidden" >Finally, we relate our definitions of anonymity to other formalizations of anonymity and information hiding, including definitions of anonymity in the process algebra CSP and definitions of information hiding using function views. </span> <a class="view-more-abstract" href="#">Show more</a> </p> <p class="metadata-entry"><span class="generated">Keywords: </span> Anonymity, security, formal methods, epistemic logic </p> <p class="metadata-entry"> <span class="generated">DOI: </span>10.3233/JCS-2005-13305 </p> <p class="metadata-entry"><span class="generated">Citation: </span> <a href="https://content.iospress.com:443/journals/journal-of-computer-security">Journal of Computer Security</a>, vol. 13, no. 3, pp. 483-514, 2005 </p> </div> <div class="pricing"> <strong>Price: EUR 27.50</strong> <form class="add-to-cart-form" id="add-ArticleId_jcs237" action="https://content.iospress.com:443/cart/add" method="post"> <input type="hidden" name="dest" value="https://content.iospress.com/journals/journal-of-computer-security/13/3" /> <input type="hidden" name="id" value="ArticleId_jcs237" /> <button class="btn btn-arrow btn-cart add-single"><i class="icon-shopping-cart" role="presentation"></i> Add to cart</button> </form> </div> </div> </div> <div class='result-item-wrapper'> <div class="result-item dc_type-journal-article " data-itemid="journal-of-computer-security/jcs238"> <div class="result-item-header"> <button class="icon-check-empty toggle-selection" data-cite-id="journal-of-computer-security/jcs238" data-itemid="ArticleId_jcs238"><span class="visuallyhidden">Select this result for bulk action</span></button> <h2 class="result-item-title book-title" data-p13n="journal-article" data-p13n-uri="https://content.iospress.com:443/articles/journal-of-computer-security/jcs238" data-p13n-articleid="journal-of-computer-security/jcs238" data-p13n-title=" Symbolic protocol analysis with an Abelian group operator or Diffie–Hellman exponentiation "   <a href="https://content.iospress.com:443/articles/journal-of-computer-security/jcs238"> Symbolic protocol analysis with an Abelian group operator or Diffie–Hellman exponentiation </a> </h2> </div> <div class="front-meta-data"> <p class="metadata-entry"><span class="generated">Authors: </span> <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Millen%2C+Jonathan%22%29">Millen, Jonathan</a> | <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Shmatikov%2C+Vitaly%22%29">Shmatikov, Vitaly</a> </p> <p class="metadata-entry"><span class="generated">Article Type:</span> Research Article </p> <p class="metadata-entry"> <span class="generated">Abstract: </span> <span>We demonstrate that for any well-defined cryptographic protocol, the symbolic trace reachability problem in the presence of an Abelian group operator (e.g., multiplication) can be reduced to solvability of a decidable system of quadratic Diophantine equations. This result enables complete, fully automated formal analysis of protocols that employ primitives such as Diffie–Hellman exponentiation, multiplication, and xor, with a bounded number of role instances, but without imposing any bounds on the size of terms created by the attacker.</span> </p> <p class="metadata-entry"> <span class="generated">DOI: </span>10.3233/JCS-2005-13306 </p> <p class="metadata-entry"><span class="generated">Citation: </span> <a href="https://content.iospress.com:443/journals/journal-of-computer-security">Journal of Computer Security</a>, vol. 13, no. 3, pp. 515-564, 2005 </p> </div> <div class="pricing"> <strong>Price: EUR 27.50</strong> <form class="add-to-cart-form" id="add-ArticleId_jcs238" action="https://content.iospress.com:443/cart/add" method="post"> <input type="hidden" name="dest" value="https://content.iospress.com/journals/journal-of-computer-security/13/3" /> <input type="hidden" name="id" value="ArticleId_jcs238" /> <button class="btn btn-arrow btn-cart add-single"><i class="icon-shopping-cart" role="presentation"></i> Add to cart</button> </form> </div> </div> </div> <div class='result-item-wrapper'> <div class="result-item dc_type-journal-article " data-itemid="journal-of-computer-security/jcs239"> <div class="result-item-header"> <button class="icon-check-empty toggle-selection" data-cite-id="journal-of-computer-security/jcs239" data-itemid="ArticleId_jcs239"><span class="visuallyhidden">Select this result for bulk action</span></button> <h2 class="result-item-title book-title" data-p13n="journal-article" data-p13n-uri="https://content.iospress.com:443/articles/journal-of-computer-security/jcs239" data-p13n-articleid="journal-of-computer-security/jcs239" data-p13n-title=" A computational analysis of the Needham–Schroeder–(Lowe) protocol "   <a href="https://content.iospress.com:443/articles/journal-of-computer-security/jcs239"> A computational analysis of the Needham–Schroeder–(Lowe) protocol </a> </h2> </div> <div class="front-meta-data"> <p class="metadata-entry"><span class="generated">Authors: </span> <a class="badge" href="https://content.iospress.com:443/search?q=author%3A%28%22Warinschi%2C+Bogdan%22%29">Warinschi, Bogdan</a> </p> <p class="metadata-entry"><span class="generated">Article Type:</span> Research Article </p> <p class="metadata-entry"> <span class="generated">Abstract: </span> <span>The Needham–Schroeder protocol and its repaired version due to Lowe are the main test cases used by symbolic methods for cryptographic protocol analysis. In this paper we proved the first computational analysis of the protocol. We start by translating Lowe's attack against the original protocol into the computational framework that we use in our analysis. Then we prove that the repaired protocol may not be secure, even when the encryption scheme that is used in its implementation satisfies indistinguishability under chosen-plaintext attack. This shows that symbolic security analysis is not sound for protocols that use this kind of encryption. Our</span> <span class="fold-elip">…</span><span class="below-fold hidden" >main result is to prove that the Needham–Schroeder–Lowe protocol is secure if it is implemented with an encryption scheme that satisfies the stronger notion of indistinguishability under chosen-ciphertext attack. </span> <a class="view-more-abstract" href="#">Show more</a> </p> <p class="metadata-entry"><span class="generated">Keywords: </span> Protocol analysis, cryptography, Needham–Schroeder </p> <p class="metadata-entry"> <span class="generated">DOI: </span>10.3233/JCS-2005-13307 </p> <p class="metadata-entry"><span class="generated">Citation: </span> <a href="https://content.iospress.com:443/journals/journal-of-computer-security">Journal of Computer Security</a>, vol. 13, no. 3, pp. 565-591, 2005 </p> </div> <div class="pricing"> <strong>Price: EUR 27.50</strong> <form class="add-to-cart-form" id="add-ArticleId_jcs239" action="https://content.iospress.com:443/cart/add" method="post"> <input type="hidden" name="dest" value="https://content.iospress.com/journals/journal-of-computer-security/13/3" /> <input type="hidden" name="id" value="ArticleId_jcs239" /> <button class="btn btn-arrow btn-cart add-single"><i class="icon-shopping-cart" role="presentation"></i> Add to cart</button> </form> </div> </div> </div> </div> </div> <div class="pagination-bottom"> </div> <div class="citation-popup-container"></div> </div> </div> <div class="sidebar journal-sidebar col"> <div class="volume-list toc folded-section shadow border" id="table-of-content"> <ul> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume Pre-press </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/Pre-press/Pre-press">Issue Pre-press</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 32 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/32/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/32/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/32/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/32/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/32/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/32/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 31 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/31/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/31/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/31/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/31/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/31/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/31/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 30 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/30/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/30/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/30/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/30/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/30/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/30/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 29 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/29/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/29/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/29/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/29/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/29/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/29/1">Issue 1</a></li> </ul> </li> </ul> <div class="below-fold"> <ul> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 28 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/28/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/28/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/28/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/28/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/28/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/28/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 27 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/27/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/27/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/27/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/27/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/27/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/27/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 26 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/26/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/26/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/26/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/26/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/26/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/26/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 25 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/25/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/25/4-5">Issue 4-5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/25/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/25/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/25/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 24 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/24/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/24/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/24/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/24/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/24/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/24/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 23 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/23/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/23/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/23/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/23/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/23/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/23/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 22 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/22/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/22/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/22/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/22/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/22/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/22/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 21 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/21/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/21/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/21/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/21/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/21/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/21/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 20 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/20/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/20/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/20/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/20/2-3">Issue 2-3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/20/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 19 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/19/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/19/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/19/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/19/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/19/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/19/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 18 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/18/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/18/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/18/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/18/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/18/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/18/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 17 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/17/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/17/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/17/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/17/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/17/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/17/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 16 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/16/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/16/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/16/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/16/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/16/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/16/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 15 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/15/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/15/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/15/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/15/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/15/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/15/1">Issue 1</a></li> </ul> </li> <li class=""> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 14 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/14/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/14/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/14/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/14/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/14/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/14/1">Issue 1</a></li> </ul> </li> <li class="active"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-minus"></i>Volume 13 </button> <ul class="toggle-section open"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/13/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/13/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/13/4">Issue 4</a></li> <li class="active"><span><a href="https://content.iospress.com:443/journals/journal-of-computer-security/13/3">Issue 3</a></span></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/13/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/13/1">Issue 1</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 12 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/12/6">Issue 6</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/12/5">Issue 5</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/12/3-4">Issue 3-4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/12/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/12/1">Issue 1</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 11 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/11/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/11/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/11/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/11/1">Issue 1</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 10 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/10/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/10/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/10/1-2">Issue 1-2</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 9 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/9/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/9/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/9/1-2">Issue 1-2</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 8 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/8/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/8/2-3">Issue 2-3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/8/1">Issue 1</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 7 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/7/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/7/2-3">Issue 2-3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/7/1">Issue 1</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 6 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/6/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/6/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/6/1-2">Issue 1-2</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 5 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/5/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/5/3">Issue 3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/5/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/5/1">Issue 1</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 4 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/4/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/4/2-3">Issue 2-3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/4/1">Issue 1</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 3 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/3/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/3/2-3">Issue 2-3</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/3/1">Issue 1</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 2 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/2/4">Issue 4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/2/2-3">Issue 2-3</a></li> </ul> </li> <li class="hidden"> <button class="volume-no js-volume-toggle" title="Press to access issues within this volume"> <i class="icon icon-plus"></i>Volume 1 </button> <ul class="toggle-section"> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/1/3-4">Issue 3-4</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/1/2">Issue 2</a></li> <li><a href="https://content.iospress.com:443/journals/journal-of-computer-security/1/1">Issue 1</a></li> </ul> </li> </ul> </div> <div class="view-control-section"> <a class="view-more has-hidden-items" href="#">Show more</a> </div> </div> <div class="ad-block"> <div id="journal-sidebar-ad" data-mercury="full" class="sidebar-advert"><div> </div> <div> <br /> </div> <div> <a href="https://journals.sagepub.com/ios-press-info"><img src="/fragr/images/J24_4405 IOS Press Banner Ad Sage-IOS logo swap_moving_268x268.jpg" /></a> </div> <div> <br /> </div></div> </div> </div> </div> <div class="citation-popup-container"></div> </div> <div id="footer" class="footer block"> <a href="#header-skiplink" class="skiplinks">Go to header</a><a href="#nav-skiplink" class="skiplinks">Go to navigation</a><a href="#search-bar" class="skiplinks">Go to search</a><a href="#content" class="skiplinks">Go to contents</a><a href="#footer-skiplink" class="skiplinks">Go to footer</a> <a href="#content" class="skiplinks" id="footer-skiplink">In footer section. Select this link to jump to content</a> <div class="footer-primary container clearfix"> <div class="col-1by3 col"> <div class="spacing"> <ul> <li> <a href="https://content.iospress.com:443/sgk-login">Administrator log in</a> <p> <a href="https://shibboleth2sp.ios.semcs.net/shib?dest=https%3A%2F%2Fcontent.iospress.com%3A443%2FSHIBBOLETH%3Fdest%3Dhttps%253A%252F%252Fcontent.iospress.com%252Fjournals%252Fjournal-of-computer-security%252F13%252F3">Shibboleth log in</a> </p> </a> </li> <li> <a href="https://content.iospress.com:443/journals/">Journals</a> </li> <li> <a href="https://content.iospress.com:443/page/help">Help</a> </li> <li> <a href="https://content.iospress.com:443/page/about">About us</a> </li> <li> <a href="https://content.iospress.com:443/page/contact">Contact us</a> </li> </ul> </div> </div> <div class="col-1by3 col"> <div class="spacing"> <ul class="legal-links"> <li> <a href="https://content.iospress.com:443/page/terms" id="terms-of-use">Terms & conditions</a> </li> <li> <a href="https://content.iospress.com:443/page/privacy" id="cookies-hidden">Privacy policy</a> </li> <li> <span class="copy-right"> Copyright ©2025 IOS Press All rights reserved. </span> </li> </ul> </div> </div> <div class="col-1by3 col"> <div class="spacing last"> <ul class="social-media-tags"> <li><strong>Join our network: </strong></li> <li> <a href="https://twitter.com/iospress_stm" target="_blank"><i class="icon-twitter icon icon-big"></i>Twitter</a> </li> <li> <a href="https://www.facebook.com/publisheriospress" target="_blank"><i class="icon-facebook icon icon-big"></i>Facebook</a> </li> <li> <a href="https://www.linkedin.com/company/iospress" target="_blank"><i class="icon-linkedin icon icon-big"></i>LinkedIn</a> </li> </ul> </div> </div> </div><div class="footer-secondary"> <div class="container block"> <div class="col col-1by3"> <div class="spacing"> <h2>North America</h2> <p> IOS Press, Inc. <br/> 6751 Tepper Drive <br /> Clifton, VA 20124 <br /> USA <br /> </p> <p> Tel: +1 703 830 6300<br/> Fax: +1 703 830 2300 <br /> <a href="/cdn-cgi/l/email-protection#93e0f2fff6e0d3fafce0e3e1f6e0e0bdf0fcfe"><span class="__cf_email__" data-cfemail="5724363b3224173e382427253224247934383a">[email protected]</span></a> <br /> </p> <p class="info"> For editorial issues, like the status of your submitted paper or proposals, write to <a href="/cdn-cgi/l/email-protection#92f7f6fbe6fde0fbf3fed2fbfde1e2e0f7e1e1bcfcfe"><span class="__cf_email__" data-cfemail="187d7c716c776a7179745871776b686a7d6b6b367674">[email protected]</span></a> </p> </div> </div> <div class="col col-1by3"> <div class="spacing"> <h2>Europe</h2> <p> IOS Press <br/> Nieuwe Hemweg 6B <br /> 1013 BG Amsterdam <br /> The Netherlands <br /> </p> <p> Tel: +31 20 688 3355 <br/> Fax: +31 20 687 0091 <br /> <a href="/cdn-cgi/l/email-protection#60090e060f20090f1310120513134e0e0c"><span class="__cf_email__" data-cfemail="0861666e674861677b787a6d7b7b266664">[email protected]</span></a> <br /> </p> <p> For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office <a href="/cdn-cgi/l/email-protection#1b72757d745b7274686b697e6868357577"><span class="__cf_email__" data-cfemail="2940474f466940465a595b4c5a5a074745">[email protected]</span></a> <br /> </p> </div> </div> <div class="col col-1by3"> <div class="spacing last"> <h2>Asia</h2> <p> Inspirees International (China Office) <br /> Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901 <br /> 100025, Beijing <br /> China <br /> <br /> Free service line: 400 661 8717 <br /> Fax: +86 10 8446 7947<br/> <a href="/cdn-cgi/l/email-protection#87e4efeee9e6c7eee8f4f7f5e2f4f4a9e4e9"><span class="__cf_email__" data-cfemail="a3c0cbcacdc2e3caccd0d3d1c6d0d08dc0cd">[email protected]</span></a> <br /> </p> <p> For editorial issues, like the status of your submitted paper or proposals, write to <a href="/cdn-cgi/l/email-protection#e287868b968d908b838ea28b8d919290879191cc8c8e"><span class="__cf_email__" data-cfemail="fa9f9e938e9588939b96ba9395898a889f8989d49496">[email protected]</span></a> </p> <p> 如果您在出版方面需要帮助或有任何建, 件至: <a href="/cdn-cgi/l/email-protection#2346474a574c514a424f634a4c5053514650500d4d4f"><span class="__cf_email__" data-cfemail="4421202d302b362d2528042d2b3734362137376a2a28">[email protected]</span></a> <br /> </p> </div> </div> </div> </div><div class="container padded footer-credits block"> <div class="col col-1by2"> <img class="logo" src="https://content.iospress.com:443/static/img/mock_up_footer_new.png@2.6.8-2-gb19ff93" alt="IOS press, Impacting the world of science, Books & Journals, Online & Print"/> </div> <div class="col col-1by2 semantico-credits">Built on the Scolaris platform by: <a href="http://www.semantico.com"><img width="120" src="https://content.iospress.com:443/static/img/sem_logo.png@2.6.8-2-gb19ff93" alt="Semantico" /></a></div> </div> </div>  <script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script src="https://content.iospress.com:443/static/js/compiled/compiled.min.js@2.6.8-2-gb19ff93"></script> <script src="//cdn.mathjax.org/mathjax/latest/MathJax.js?config=MML_HTMLorMML" async></script> </body> </html>

CINXE.COM

Journal of Computer Security - Volume 13, issue 3 - Journals - IOS Press