Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488451844> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1488451844 abstract "It is my great pleasure to welcome you to the 6th ACM Workshop on Formal Methods in Security Engineering (FMSE), held in conjunction with the 15th ACM Conference on Computer and Communications Security (CCS 2008).The purpose of FMSE is to bring together researchers and practitioners from both the security and the software engineering communities, from academia and industry, who are working on applying formal methods to the design and validation of large-scale systems. The scope of the workshop includes security requirements and risk analysis, access control, information flow, and trust models, specification and analysis of security properties, computationally sound abstraction, program logics and type systems for security, techniques for verification and static analysis, tool support for the development and analysis of security-critical systems, design and analysis of security protocols, security aspects of operating systems and middleware, and case studies.The program of the workshop was selected by the program committee via a rigorous peer-review process, with fewer than 1/3 of the submitted papers accepted for presentation. The papers presented at the workshop cover a wide variety of topics, including application of formal methods to the analysis of cryptographic protocols, wireless security, secure information sharing, and security policies for virtual-machine monitors.In addition to the peer-reviewed papers, the workshop includes invited talks by Cedric Fournet of Microsoft Research (UK) and the Microsoft Research-INRIA Joint Centre (France) and by Carl Gunter of the University of Illinois at Urbana-Champaign (USA)." @default.
- W1488451844 created "2016-06-24" @default.
- W1488451844 creator A5038206174 @default.
- W1488451844 date "2008-10-27" @default.
- W1488451844 modified "2023-09-23" @default.
- W1488451844 title "Proceedings of the 6th ACM workshop on Formal methods in security engineering" @default.
- W1488451844 hasPublicationYear "2008" @default.
- W1488451844 type Work @default.
- W1488451844 sameAs 1488451844 @default.
- W1488451844 citedByCount "0" @default.
- W1488451844 crossrefType "proceedings-article" @default.
- W1488451844 hasAuthorship W1488451844A5038206174 @default.
- W1488451844 hasConcept C115903868 @default.
- W1488451844 hasConcept C121822524 @default.
- W1488451844 hasConcept C13159133 @default.
- W1488451844 hasConcept C178489894 @default.
- W1488451844 hasConcept C29983905 @default.
- W1488451844 hasConcept C33884865 @default.
- W1488451844 hasConcept C38652104 @default.
- W1488451844 hasConcept C41008148 @default.
- W1488451844 hasConcept C527648132 @default.
- W1488451844 hasConcept C62913178 @default.
- W1488451844 hasConcept C75606506 @default.
- W1488451844 hasConceptScore W1488451844C115903868 @default.
- W1488451844 hasConceptScore W1488451844C121822524 @default.
- W1488451844 hasConceptScore W1488451844C13159133 @default.
- W1488451844 hasConceptScore W1488451844C178489894 @default.
- W1488451844 hasConceptScore W1488451844C29983905 @default.
- W1488451844 hasConceptScore W1488451844C33884865 @default.
- W1488451844 hasConceptScore W1488451844C38652104 @default.
- W1488451844 hasConceptScore W1488451844C41008148 @default.
- W1488451844 hasConceptScore W1488451844C527648132 @default.
- W1488451844 hasConceptScore W1488451844C62913178 @default.
- W1488451844 hasConceptScore W1488451844C75606506 @default.
- W1488451844 hasLocation W14884518441 @default.
- W1488451844 hasOpenAccess W1488451844 @default.
- W1488451844 hasPrimaryLocation W14884518441 @default.
- W1488451844 hasRelatedWork W1488684895 @default.
- W1488451844 hasRelatedWork W1506076603 @default.
- W1488451844 hasRelatedWork W1508199715 @default.
- W1488451844 hasRelatedWork W1514904060 @default.
- W1488451844 hasRelatedWork W1972945205 @default.
- W1488451844 hasRelatedWork W2008649422 @default.
- W1488451844 hasRelatedWork W2421685541 @default.
- W1488451844 hasRelatedWork W2482476249 @default.
- W1488451844 hasRelatedWork W2492303956 @default.
- W1488451844 hasRelatedWork W2619640156 @default.
- W1488451844 hasRelatedWork W2779087367 @default.
- W1488451844 hasRelatedWork W2911486133 @default.
- W1488451844 hasRelatedWork W2911874933 @default.
- W1488451844 hasRelatedWork W2911989433 @default.
- W1488451844 hasRelatedWork W2913221316 @default.
- W1488451844 hasRelatedWork W2914948622 @default.
- W1488451844 hasRelatedWork W2917267619 @default.
- W1488451844 hasRelatedWork W3150583396 @default.
- W1488451844 hasRelatedWork W3151897591 @default.
- W1488451844 hasRelatedWork W40327287 @default.
- W1488451844 isParatext "false" @default.
- W1488451844 isRetracted "false" @default.
- W1488451844 magId "1488451844" @default.
- W1488451844 workType "article" @default.