المؤلفون: Peter Loscocco, Paul D. Rowe, Perry Alexander, Ian D. Kretz, Sarah C. Helble, John D. Ramsdell

المصدر: ACM Transactions on Privacy and Security. 24:1-23

مصطلحات موضوعية: General Computer Science, Computer science, media_common.quotation_subject, Message passing, Computer security, computer.software_genre, Variety (cybernetics), Negotiation, Order (exchange), Flexible Mechanisms, Evidence collection, Safety, Risk, Reliability and Quality, computer, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7baa2db6b07fcf8dc4ae9deae5f1341c
https://doi.org/10.1145/3470535

المؤلفون: John D. Ramsdell, Paul D. Rowe, Ian D. Kretz

المصدر: PPDP

مصطلحات موضوعية: Trustworthy computing, Set (abstract data type), Adversarial system, Information retrieval, Trustworthiness, Language change, Computer science, Leverage (statistics), Adversary, Semantics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bcc174492bc3c8946d8c8443c299f06a
https://doi.org/10.1145/3479394.3479418

المؤلفون: John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mitre.org/sites/default/files/publications/14-1013-hybrid-analysis-security-protocols-state.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.661.14; http://www.mitre.org/sites/default/files/publications/14-1013-hybrid-analysis-security-protocols-state.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.661.14
http://www.mitre.org/sites/default/files/publications/14-1013-hybrid-analysis-security-protocols-state.pdf

المؤلفون: John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/ramsdell/papers/stateful_protocols.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.4864; http://www.ccs.neu.edu/home/ramsdell/papers/stateful_protocols.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.4864
http://www.ccs.neu.edu/home/ramsdell/papers/stateful_protocols.pdf

المؤلفون: John D. Ramsdell, Paul D. Rowe

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/ramsdell/papers/sasbundles.pdf.

مصطلحات موضوعية: Contents

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.8210; http://www.ccs.neu.edu/home/ramsdell/papers/sasbundles.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.8210
http://www.ccs.neu.edu/home/ramsdell/papers/sasbundles.pdf

المؤلفون: John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/ramsdell/papers/sas.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.4353; http://www.ccs.neu.edu/home/ramsdell/papers/sas.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.4353
http://www.ccs.neu.edu/home/ramsdell/papers/sas.pdf

المؤلفون: Heinrich Apfelmus, Joachim Breitner, Neil Brown, Tom Murphy, John D. Ramsdell, Fritz Ruehr, Wouter Swierstra

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://themonadreader.files.wordpress.com/2011/03/specialissue.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.3970; http://themonadreader.files.wordpress.com/2011/03/specialissue.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.3970
http://themonadreader.files.wordpress.com/2011/03/specialissue.pdf

المؤلفون: John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/ramsdell/papers/caves.pdf.

مصطلحات موضوعية: Cryptographic Protocol Shape Analyzer. Contents

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.5854; http://www.ccs.neu.edu/home/ramsdell/papers/caves.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.5854
http://www.ccs.neu.edu/home/ramsdell/papers/caves.pdf

المؤلفون: Brian T. Sniffen, David R. Harris, John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mitre.org/work/tech_papers/tech_papers_06/06_0046/06_0046.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.4390; http://www.mitre.org/work/tech_papers/tech_papers_06/06_0046/06_0046.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.4390
http://www.mitre.org/work/tech_papers/tech_papers_06/06_0046/06_0046.pdf

المؤلفون: Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://web.cs.wpi.edu/~guttman/pubs/escha_pcp.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.4937; http://web.cs.wpi.edu/~guttman/pubs/escha_pcp.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.4937
http://web.cs.wpi.edu/~guttman/pubs/escha_pcp.pdf

المؤلفون: Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/guttman/selinux.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.1699; http://www.ccs.neu.edu/home/guttman/selinux.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.1699
http://www.ccs.neu.edu/home/guttman/selinux.ps

المؤلفون: Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/guttman/trust_mgt_in_strands.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.3639; http://www.ccs.neu.edu/home/guttman/trust_mgt_in_strands.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.3639
http://www.ccs.neu.edu/home/guttman/trust_mgt_in_strands.pdf

المؤلفون: Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://web.cs.wpi.edu/~guttman/pubs/programming_cryptographic_protocols_mtr.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.8383; http://web.cs.wpi.edu/~guttman/pubs/programming_cryptographic_protocols_mtr.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.8383
http://web.cs.wpi.edu/~guttman/pubs/programming_cryptographic_protocols_mtr.pdf

المؤلفون: John D. Ramsdell, Paul D. Rowe, Joshua D. Guttman

المصدر: Logic, Language, and Security ISBN: 9783030620769
Logic, Language, and Security

مصطلحات موضوعية: Theoretical computer science, Computer science, Bounding overwatch, Taxonomy (general), Protocol analysis, Relative strength, Space (mathematics), Computer Science::Cryptography and Security

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::be603a73d18037189c0f9bfcce16f3d9
https://doi.org/10.1007/978-3-030-62077-6_11

المؤلفون: Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.dsi.unive.it/IFIPWG1_7/WITS2003/papers/9.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.2359; http://www.dsi.unive.it/IFIPWG1_7/WITS2003/papers/9.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.2359
http://www.dsi.unive.it/IFIPWG1_7/WITS2003/papers/9.ps

المؤلفون: John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/ramsdell/papers/swfol/swfol.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.482; http://www.ccs.neu.edu/home/ramsdell/papers/swfol/swfol.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.482
http://www.ccs.neu.edu/home/ramsdell/papers/swfol/swfol.pdf

المؤلفون: John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/ramsdell/papers/swfol.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.2895; http://www.ccs.neu.edu/home/ramsdell/papers/swfol.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.2895
http://www.ccs.neu.edu/home/ramsdell/papers/swfol.ps.gz

المؤلفون: John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/ramsdell/papers/trsecd.pdf.

مصطلحات موضوعية: tail recursion, tail call, SECD machine, CEK machine, verified implementation, Boyer-Moore theorem prover

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.8133; http://www.ccs.neu.edu/home/ramsdell/papers/trsecd.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.8133
http://www.ccs.neu.edu/home/ramsdell/papers/trsecd.pdf

المؤلفون: John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mitre.org/work/best_papers/best_papers_99/ramsdell_secd/ramsdell_secd.pdf.

مصطلحات موضوعية: tail recursion, tail call, SECD machine, CEK machine, verified implementation, Boyer-Moore theorem prover

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.2837; http://www.mitre.org/work/best_papers/best_papers_99/ramsdell_secd/ramsdell_secd.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.2837
http://www.mitre.org/work/best_papers/best_papers_99/ramsdell_secd/ramsdell_secd.pdf

المؤلفون: Multithreaded Prescheme, William M. Farmer, John D. Ramsdell

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://repository.readscheme.org/ftp/papers/vlisp/mtps.pdf.

مصطلحات موضوعية: Contents

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.4498; http://repository.readscheme.org/ftp/papers/vlisp/mtps.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.4498
http://repository.readscheme.org/ftp/papers/vlisp/mtps.pdf