Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912292827> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2912292827 abstract "Welcome to the Fifth ACM Workshop on Formal Methods in Security Engineering (FMSE 2007) held in conjunction with the 14th ACM Conference on Computer and Communication Security (CCS 2007) on the Campus of George Mason University.The tradition of FMSE is to bring together researchers from both the security and the software engineering communities, from academia and industry, who are working on applying formal methods to designing and validating large-scale security-critical systems. The scope of the workshop covers security-related and formal-methods-related aspects of all activities in software ndevelopment, including requirement and risk analysis, security models like access control, information flow and trust models, the specification and analysis of security properties, aspects of stepwise development by refinement and composition, computationally sound abstraction, static and dynamic security analysis techniques like program logics, type systems and security monitors, tool support for the development and analysis of security-critical systems, and applications of formal methods, for instance, in the design and analysis of security protocols or operating systems.The paper selection process was very competitive this year. The call for papers attracted 28 submissions by authors from 15 different countries. The program committee accepted 8 papers for presentation, which unfortunately means that also some high-quality papers had to be rejected. In addition, the program features invited talks by Jeff Lewis and by John D. McLean." @default.
- W2912292827 created "2019-02-21" @default.
- W2912292827 creator A5010171786 @default.
- W2912292827 creator A5016753473 @default.
- W2912292827 creator A5084845728 @default.
- W2912292827 creator A5089455414 @default.
- W2912292827 date "2007-11-02" @default.
- W2912292827 modified "2023-10-06" @default.
- W2912292827 title "Proceedings of the 2007 ACM workshop on Formal methods in security engineering" @default.
- W2912292827 hasPublicationYear "2007" @default.
- W2912292827 type Work @default.
- W2912292827 sameAs 2912292827 @default.
- W2912292827 citedByCount "1" @default.
- W2912292827 crossrefType "proceedings-article" @default.
- W2912292827 hasAuthorship W2912292827A5010171786 @default.
- W2912292827 hasAuthorship W2912292827A5016753473 @default.
- W2912292827 hasAuthorship W2912292827A5084845728 @default.
- W2912292827 hasAuthorship W2912292827A5089455414 @default.
- W2912292827 hasConcept C103377522 @default.
- W2912292827 hasConcept C110354214 @default.
- W2912292827 hasConcept C111919701 @default.
- W2912292827 hasConcept C115903868 @default.
- W2912292827 hasConcept C121822524 @default.
- W2912292827 hasConcept C127413603 @default.
- W2912292827 hasConcept C13159133 @default.
- W2912292827 hasConcept C184842701 @default.
- W2912292827 hasConcept C199360897 @default.
- W2912292827 hasConcept C2778012447 @default.
- W2912292827 hasConcept C29983905 @default.
- W2912292827 hasConcept C38652104 @default.
- W2912292827 hasConcept C41008148 @default.
- W2912292827 hasConcept C527648132 @default.
- W2912292827 hasConcept C62913178 @default.
- W2912292827 hasConcept C75606506 @default.
- W2912292827 hasConcept C79974875 @default.
- W2912292827 hasConceptScore W2912292827C103377522 @default.
- W2912292827 hasConceptScore W2912292827C110354214 @default.
- W2912292827 hasConceptScore W2912292827C111919701 @default.
- W2912292827 hasConceptScore W2912292827C115903868 @default.
- W2912292827 hasConceptScore W2912292827C121822524 @default.
- W2912292827 hasConceptScore W2912292827C127413603 @default.
- W2912292827 hasConceptScore W2912292827C13159133 @default.
- W2912292827 hasConceptScore W2912292827C184842701 @default.
- W2912292827 hasConceptScore W2912292827C199360897 @default.
- W2912292827 hasConceptScore W2912292827C2778012447 @default.
- W2912292827 hasConceptScore W2912292827C29983905 @default.
- W2912292827 hasConceptScore W2912292827C38652104 @default.
- W2912292827 hasConceptScore W2912292827C41008148 @default.
- W2912292827 hasConceptScore W2912292827C527648132 @default.
- W2912292827 hasConceptScore W2912292827C62913178 @default.
- W2912292827 hasConceptScore W2912292827C75606506 @default.
- W2912292827 hasConceptScore W2912292827C79974875 @default.
- W2912292827 hasLocation W29122928271 @default.
- W2912292827 hasOpenAccess W2912292827 @default.
- W2912292827 hasPrimaryLocation W29122928271 @default.
- W2912292827 hasRelatedWork W101890072 @default.
- W2912292827 hasRelatedWork W1533000870 @default.
- W2912292827 hasRelatedWork W1596066912 @default.
- W2912292827 hasRelatedWork W1605878925 @default.
- W2912292827 hasRelatedWork W1606186946 @default.
- W2912292827 hasRelatedWork W1665298508 @default.
- W2912292827 hasRelatedWork W193421409 @default.
- W2912292827 hasRelatedWork W2051264395 @default.
- W2912292827 hasRelatedWork W2250564361 @default.
- W2912292827 hasRelatedWork W2911339640 @default.
- W2912292827 hasRelatedWork W2911492607 @default.
- W2912292827 hasRelatedWork W2911509267 @default.
- W2912292827 hasRelatedWork W2911662508 @default.
- W2912292827 hasRelatedWork W2911777990 @default.
- W2912292827 hasRelatedWork W2911977728 @default.
- W2912292827 hasRelatedWork W2912058788 @default.
- W2912292827 hasRelatedWork W2912460995 @default.
- W2912292827 hasRelatedWork W2912959154 @default.
- W2912292827 hasRelatedWork W2913887002 @default.
- W2912292827 hasRelatedWork W2914495568 @default.
- W2912292827 isParatext "false" @default.
- W2912292827 isRetracted "false" @default.
- W2912292827 magId "2912292827" @default.
- W2912292827 workType "article" @default.