Filters








2,622 Hits in 3.8 sec

Compiling cryptographic protocols for deployment on the web

Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s4hirppq3jalbopssw22crbwwa" style="color: black;">Proceedings of the 16th international conference on World Wide Web - WWW &#39;07</a> </i> &nbsp;
The resulting programs run without persistent TCP connections for deployment on traditional Web servers. Most importantly, the compiler preserves existing proofs about the protocols.  ...  Cryptographic protocols are useful for trust engineering in Web transactions.  ...  This helps a protocol author identify where hand soundness proofs must occur or where the protocol must be changed for Web deployment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1242572.1242665">doi:10.1145/1242572.1242665</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/www/McCarthyKGR07.html">dblp:conf/www/McCarthyKGR07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u7md3n4trjgtrhimjbqpcwb6hy">fatcat:u7md3n4trjgtrhimjbqpcwb6hy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140813194029/http://wwwconference.org/www2007/papers/paper140.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/be/09/be09e440467960d39fe6adad594d3baab34a4223.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1242572.1242665"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach

Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet
<span title="">2017</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2svuludwbbl3kyi56ta4uqumm" style="color: black;">2017 IEEE European Symposium on Security and Privacy (EuroS&amp;P)</a> </i> &nbsp;
The protocol is implemented in ProScript, a new domain-specific language that is designed for writing cryptographic protocol code that can both be executed within JavaScript programs and automatically  ...  The model can also be used as the basis of a computational proof using CryptoVerif, which reduces the security of the protocol to standard cryptographic assumptions.  ...  This work was funded by the following grants: ERC CIRCUS, EU NEXTLEAP, and ANR AJACS.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/eurosp.2017.38">doi:10.1109/eurosp.2017.38</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/eurosp/KobeissiBB17.html">dblp:conf/eurosp/KobeissiBB17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jc3mdwujmzd2rhtzd3262sn2ca">fatcat:jc3mdwujmzd2rhtzd3262sn2ca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724132029/https://hal.inria.fr/hal-01575923/file/KobeissiBhargavanBlanchetEuroSP17.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/67/cf/67cfdd8f3980586562b0f816521adf5f42999cc1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/eurosp.2017.38"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Missed Opportunities: Measuring the Untapped TLS Support in the Industrial Internet of Things [article]

Markus Dahlmanns, Johannes Lohmöller, Jan Pennekamp, Jörn Bodenhausen, Klaus Wehrle, Martin Henze
<span title="2022-06-01">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Thus, most industrial deployments (934,736 hosts) are insecurely connected to the Internet.  ...  an Internet-wide security assessment of ten industrial protocols covering the complete IPv4 address space.  ...  ACKNOWLEDGMENTS Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy -EXC-2023 Internet of Production -390621612.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2206.00322v1">arXiv:2206.00322v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5kbna3w63jej3jgkku3maocuti">fatcat:5kbna3w63jej3jgkku3maocuti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220605172129/https://arxiv.org/pdf/2206.00322v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/29/8b29cde4213ac4c7181be0261fb5836ee9222e4f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2206.00322v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Cryptographically verified implementations for TLS

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 15th ACM conference on Computer and communications security - CCS &#39;08</a> </i> &nbsp;
We obtain strong security guarantees for TLS as used in typical deployments.  ...  Computational verification is more precise but more difficult to achieve; we obtain results only for the cryptographic core of the protocol implementation.  ...  Acknowledgments We thank Martín Abadi, Bruno Blanchet, Andy Gordon, and Bogdan Warinschi for their helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1455770.1455828">doi:10.1145/1455770.1455828</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/BhargavanFCZ08.html">dblp:conf/ccs/BhargavanFCZ08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mhqnz6tacjayzjdmdxc4hbmemu">fatcat:mhqnz6tacjayzjdmdxc4hbmemu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160909211035/http://prosecco.gforge.inria.fr:80/personal/karthik/pubs/cryptographically-verified-implementations-for-tls-ccs08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/62/a062c100b89db27e6897cf7e8c79de54469f0f98.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1455770.1455828"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Cryptographic Protocol Explication and End-Point Projection [chapter]

Jay McCarthy, Shriram Krishnamurthi
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Cryptographic protocols are useful for engineering trust in transactions.  ...  There are several languages for describing these protocols, but these tend to capture the communications from the perspective of an individual role.  ...  We are grateful for the advice and encouragement of Joshua Guttman and John Ramsdell.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88313-5_34">doi:10.1007/978-3-540-88313-5_34</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jvuwbahhung3flsakdzg2ojjqi">fatcat:jvuwbahhung3flsakdzg2ojjqi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100707191227/http://world.cs.brown.edu/~sk/Publications/Papers/Published/mk-crypto-prot-expl-epp/paper.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fd/f3/fdf39f10d265e7cdc2f45e0d0972e07f9d01f763.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88313-5_34"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Verifying policy-based security for web services

Karthikeyan Bhargavan, C�dric Fournet, Andrew D. Gordon
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 11th ACM conference on Computer and communications security - CCS &#39;04</a> </i> &nbsp;
Policy-driven web services implementations are prone to the usual subtle vulnerabilities associated with cryptographic protocols; our tools help prevent such vulnerabilities, as we can verify policies  ...  We describe a formal semantics for WS-SecurityPolicy, and propose a more abstract link language for specifying the security goals of web services and their clients.  ...  Tuomas Aura, Daniel Stieger, and the anonymous reviewers made useful comments on earlier versions of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1030083.1030120">doi:10.1145/1030083.1030120</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/BhargavanFG04.html">dblp:conf/ccs/BhargavanFG04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kxanbxcc2zfr3inw64p4xtnbgq">fatcat:kxanbxcc2zfr3inw64p4xtnbgq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320183925/https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/ccs04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e5/66/e566bc3e8e7a651fe9be274bcde5e424b7c7f242.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1030083.1030120"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Security Concepts for the WWW [chapter]

Peter Lipp, Vesna Hassler
<span title="">1996</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
This paper gives an overview of the existing World Wide Web security concepts. For each proposal we give a short description of the most important properties and discuss them briefly.  ...  The main advantage is that this solution is immediately deployable by providing the necessary helper applications.  ...  PEP and SEA The World-Wide-Web-Consortium is currently working on a draft for Web security which is called SEA: A Security Extension Architecture for HTTPIJ.x [5] . and is based on the Protocol Extension  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35083-7_8">doi:10.1007/978-0-387-35083-7_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lwhkq5nkirh7rhhixqxp2ghhku">fatcat:lwhkq5nkirh7rhhixqxp2ghhku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200324060256/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35083-7_8.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dc/fb/dcfb2173c3061e018e146aad0e4768486ec76c98.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35083-7_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Canon-MPC, a system for casual non-interactive secure multi-party computation using native client

Ayman Jarrous, Benny Pinkas
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gstzkitjpfagfei6fz6yhj4apu" style="color: black;">Proceedings of the 12th ACM workshop on Workshop on privacy in the electronic society - WPES &#39;13</a> </i> &nbsp;
The system is appropriate for use by laypersons, since there is no need to install or configure any software except for a web browser. The system is based on a protocol of Halevi et al.  ...  pattern used on the web.  ...  HANDLING ABSENTEE PARTICIPANTS One practical obstacle to the deployment of the protocols of Halevi et al.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2517840.2517845">doi:10.1145/2517840.2517845</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/wpes/JarrousP13.html">dblp:conf/wpes/JarrousP13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d4naj7u7wngvbfylmxuwmy6nua">fatcat:d4naj7u7wngvbfylmxuwmy6nua</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808064825/http://www.pinkas.net/PAPERS/canon-mpc.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/96/ff/96ffaa663f3f1f0828e2f4127365ed46e662c69e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2517840.2517845"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Cryptocat: Adopting Accessibility and Ease of Use as Security Properties [article]

Nadim Kobeissi, Arlo Breault
<span title="2013-06-21">2013</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We aim to investigate how to best leverage the accessibility and portability offered by web technologies in order to allow encrypted instant messaging an opportunity to better permeate on a social level  ...  Even if a cryptographic system is technically highly qualified, securing user privacy is not achieved without addressing the problem of accessibility.  ...  We would like to thank David Dahl and Tom Lowenthal of Mozilla, and fellow members of the W3C Web Cryptography Working Group for their help with browser integration.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1306.5156v1">arXiv:1306.5156v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qf44htnh4nevxn56qsfmkc5iqe">fatcat:qf44htnh4nevxn56qsfmkc5iqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200904165348/https://arxiv.org/pdf/1306.5156v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c8/46/c846b7e03364a7ed11a8a35310042f9689ec1059.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1306.5156v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Security considerations in the delivery of Web‐based applications: a case study

Schubert Foo, Peng Chor Leong, Siu Cheung Hui, Shigong Liu
<span title="">1999</span> <i title="Emerald"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/idomsh4tvzgqdn4yfwdezezfce" style="color: black;">Information Management &amp; Computer Security</a> </i> &nbsp;
The Web server security measures include the formulation and implementation of a policy for server physical security, configuration control, users' access control and regular Web server log checks.  ...  It subsequently proposes a security solution that employs a combination of Web server security measures and cryptographic techniques.  ...  The proposed protocol for user authentication Figure 3 shows the simple cryptographic protocol designed for the customer support system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1108/09685229910255197">doi:10.1108/09685229910255197</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3e7qpx2jjnbwpiezvjx4ia2oom">fatcat:3e7qpx2jjnbwpiezvjx4ia2oom</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829175727/http://www.ntu.edu.sg/home/sfoo/publications/1999/99imcs_fmt.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4e/a2/4ea275c340ea08f7def940537956ab85b79e8e05.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1108/09685229910255197"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Observations from the DNSSEC Deployment

Eric Osterweil, Dan Massey, Lixia Zhang
<span title="">2007</span> <i title="IEEE"> 2007 3rd IEEE Workshop on Secure Network Protocols </i> &nbsp;
In this paper we report the results from our monitoring effort with early DNSSEC deployment trials and the lessons learned.  ...  DNS Security Extensions have been developed to add cryptographic protection to the Internet name resolution service.  ...  If one aims to quickly roll cryptographic protection into the Internet's operations, the design must work well without requiring all operators to be cryptographically literate.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/npsec.2007.4371619">doi:10.1109/npsec.2007.4371619</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/caay6anc3vaslfle6i2ldfolqe">fatcat:caay6anc3vaslfle6i2ldfolqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080221213449/http://irl.cs.ucla.edu/papers/SecSpider_NPSec07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/5a/da5a1330981e46f35eb57b61c6911f2b9eb06df0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/npsec.2007.4371619"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

KYC Optimization using Blockchain Smart Contract Technology

Ashok Kumar Yadav, Ramendra Kumar Bajpa
<span title="2020-09-01">2020</span> <i title="Mass Research Publication Pvt Ltd"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yk2xkt7amfho5ccn2gatddvhva" style="color: black;">International Journal of Innovative Research in Applied Sciences and Engineering</a> </i> &nbsp;
The current KYC mechanism has a severe concern in financial institutions as it requires separate ledger for the separate financial organizations.  ...  In the present scenario, it is vital for any organization, especially the financial organizations, to understand customers and their financial dealings better.  ...  In over two figures of Remix, one speaks to the error, tossed by the solc compiler and other shows the fruitful compilation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.29027/ijirase.v4.i3.2020.669-674">doi:10.29027/ijirase.v4.i3.2020.669-674</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sariwyusgbhzboek7qrv2n2msa">fatcat:sariwyusgbhzboek7qrv2n2msa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210317022403/https://www.ijirase.com/assets/paper/issue_1/volume_4/V4-Issue-3-669-674.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a9/44/a9449d18ebc25b3e6c4bdd877258033ffd6e8fe6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.29027/ijirase.v4.i3.2020.669-674"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario [chapter]

Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In the terminology of security research, the interoperability scenarios correspond to security protocols. Hence, it is desirable to analyze them for security.  ...  The discussion of actual cryptographic primitives of web services security is a novelty of independent interest in this paper.  ...  The simplified (restricted) version of the protocol that we obtain in this way is only useful for the formal analysis, not for the practical deployment of the protocol: for instance, since a Dolev-Yao  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11690634_29">doi:10.1007/11690634_29</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/otkpl5chcvb3bjhacqau7h3x2a">fatcat:otkpl5chcvb3bjhacqau7h3x2a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170823145747/https://link.springer.com/content/pdf/10.1007%2F11690634_29.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/cb/11cbb07bd4b356f633608a2f8d87a96d87e28b9b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11690634_29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Performance impact of Web service migration in embedded environments

K.J. Ma, R. Bartos
<span title="">2005</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v5fagqotxjcn3jsjkqi336dzse" style="color: black;">IEEE International Conference on Web Services (ICWS&#39;05)</a> </i> &nbsp;
The benefits provided by Web Service protocols are well recognized. Deployments to date, however, have concentrated on new applications, and existing Web-based applications.  ...  We discuss the impact of these anomalies on the viability of our approach and address the broad issue of migrating Web Services to legacy embedded architectures.  ...  For the second question, OpenSSL seems to hold a monopoly on cryptographic implementations across all applications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icws.2005.91">doi:10.1109/icws.2005.91</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icws/MaB05.html">dblp:conf/icws/MaB05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7wet7e4tpfbo7jewbyaod34d54">fatcat:7wet7e4tpfbo7jewbyaod34d54</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060908151248/http://www.cs.unh.edu/cnrg/papers/icws05.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d2/08/d208cef47253e1a5b6b9bfd488d0836a0fcc744f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icws.2005.91"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Verified Reference Implementations of WS-Security Protocols [chapter]

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We describe a new reference implementation of the web services security specifications. The implementation is structured as a library in the functional programming language F#.  ...  Applications written using this library can interoperate with other compliant web services, such as those written using Microsoft WSE and WCF frameworks.  ...  Acknowledgements Stephen Tse, co-author of our previous paper [7] , participated in the design of fs2pv, and completed its original implementation, during his internship at Microsoft Research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11841197_6">doi:10.1007/11841197_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nnh3szsbb5fcfc7oy4i226rk2e">fatcat:nnh3szsbb5fcfc7oy4i226rk2e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070824185851/http://research.microsoft.com/~adg/Publications/ws-star-wsfm-2006.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/a0/11a04cc5d4f65dfbd21c520b82451c0588e0b5ae.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11841197_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 2,622 results