• Hours
  • Libraries & Collections
    • Joyner Library
    • Laupus Health Sciences Library
    • Music Library

    • Digital Collections
    • Special Collections
    • Teaching Resources Center
    • The ScholarShip Institutional Repository
    • Country Doctor Museum
  • Get Help
ECU Libraries Catalog
Browse
  • Call Number
  • Title
  • Author
  • Subject
  • Series
Advanced Search
Course Reserves
Suggest a Purchase
My Account
Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.
Find Materials By

Format

  • Electronic3
  • Archival & Manuscript Material0
  • Atlas0
  • Audio (Cassette)0
  • Audio (CD)0

Library Location

  • Joyner Library3
  • Laupus Library3
  • Music Library3

Publication Date

  • Since 20200
  • 2010-20192
  • 2000-20091
  • 1990-19990
  • 1980-19890

Call Number

    Collection

    • Joyner E-Resources3
    • Laupus E-Resources3

    Language

    • English3

    Genre

    • Electronic books3
    • Congresses2
    • ARSPA1
    • Automated reasoning1
    • Security protocol analysis1

    Era

      Region

        Search Results

        Did you mean: arsta or aripa or arupa or arpa or aspa

        Start Over
        You searched for: Keywords arspa Remove constraint
        Showing 1 - 3 of 3 results
        • Relevance
        • Year (Descending)
        • Year (Ascending)
        • Author (Ascending)
        • Author (Descending)
        • Title (Ascending)
        • Title (Descending)
        • 10 per page
        • 20 per page
        • 50 per page
        • 100 per page

        Search Results

        Cover image for Automated reasoning for security protocol analysis and issues in the theory of security

        Automated reasoning for security protocol analysis and issues in the theory of security

        • by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
        • 2010
        • Format: Electronic
        Location
        Access Content Online
        Cover image for Foundations and applications of security analysis

        Foundations and applications of security analysis

        • by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
        • 2009
        • Format: Electronic
        Location
        Access Content Online
        Cover image for Theory of Security and Applications

        Theory of Security and Applications

        • 2012
        • Format: Electronic
        Location
        Access Content Online
        East Carolina University
        East Fifth Street | Greenville, NC 27858-4353 USA | 252.328.6131 | Contact Webmaster