Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080754385> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2080754385 endingPage "224" @default.
- W2080754385 startingPage "223" @default.
- W2080754385 abstract "The papers in this volume form a special issue on “Computer Security: Foundations and Automated Reasoning”. This special issue is part of a series of special issues, traditionally associated with the ARSPA workshop on Automated Reasoning for Security Protocol Analysis. The 2008 ARSPA workshop was organized in conjunction with WITS, the Workshop on Issues in the Theory of Security, and with FCS, the workshop on Foundations of Computer Security. ARSPA was set up to bring together researchers and practitioners working on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. WITS is the official annual workshop organized by the IFIP Working Group 1.7 on “Theoretical Foundations of Security Analysis and Design”, established to promote the investigation of the theoretical foundations of security, discovering and promoting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security related applications. Finally, the workshop FCS continues a tradition, initiated with the Workshops on Formal Methods and Security Protocols (FMSP) in 1998 and 1999, continued with the Workshop on Formal Methods and Computer Security (FMCS) in 2000, and finally with the LICS" @default.
- W2080754385 created "2016-06-24" @default.
- W2080754385 creator A5002939847 @default.
- W2080754385 creator A5017237200 @default.
- W2080754385 creator A5052389888 @default.
- W2080754385 creator A5052646282 @default.
- W2080754385 date "2010-06-30" @default.
- W2080754385 modified "2023-09-25" @default.
- W2080754385 title "Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”" @default.
- W2080754385 doi "https://doi.org/10.1007/s10817-010-9184-z" @default.
- W2080754385 hasPublicationYear "2010" @default.
- W2080754385 type Work @default.
- W2080754385 sameAs 2080754385 @default.
- W2080754385 citedByCount "0" @default.
- W2080754385 crossrefType "journal-article" @default.
- W2080754385 hasAuthorship W2080754385A5002939847 @default.
- W2080754385 hasAuthorship W2080754385A5017237200 @default.
- W2080754385 hasAuthorship W2080754385A5052389888 @default.
- W2080754385 hasAuthorship W2080754385A5052646282 @default.
- W2080754385 hasBestOaLocation W20807543851 @default.
- W2080754385 hasConcept C115903868 @default.
- W2080754385 hasConcept C195344581 @default.
- W2080754385 hasConcept C199360897 @default.
- W2080754385 hasConcept C41008148 @default.
- W2080754385 hasConceptScore W2080754385C115903868 @default.
- W2080754385 hasConceptScore W2080754385C195344581 @default.
- W2080754385 hasConceptScore W2080754385C199360897 @default.
- W2080754385 hasConceptScore W2080754385C41008148 @default.
- W2080754385 hasIssue "3-4" @default.
- W2080754385 hasLocation W20807543851 @default.
- W2080754385 hasLocation W20807543852 @default.
- W2080754385 hasLocation W20807543853 @default.
- W2080754385 hasOpenAccess W2080754385 @default.
- W2080754385 hasPrimaryLocation W20807543851 @default.
- W2080754385 hasRelatedWork W2104078272 @default.
- W2080754385 hasRelatedWork W2112962394 @default.
- W2080754385 hasRelatedWork W2118300983 @default.
- W2080754385 hasRelatedWork W2166247150 @default.
- W2080754385 hasRelatedWork W2382501300 @default.
- W2080754385 hasRelatedWork W3137189469 @default.
- W2080754385 hasRelatedWork W3162240892 @default.
- W2080754385 hasRelatedWork W4235530921 @default.
- W2080754385 hasRelatedWork W4243252198 @default.
- W2080754385 hasRelatedWork W4245713008 @default.
- W2080754385 hasVolume "46" @default.
- W2080754385 isParatext "false" @default.
- W2080754385 isRetracted "false" @default.
- W2080754385 magId "2080754385" @default.
- W2080754385 workType "article" @default.